summaryrefslogtreecommitdiff
path: root/ChangeLog
diff options
context:
space:
mode:
authorPaul Smith <psmith@gnu.org>2013-05-14 22:53:42 -0400
committerPaul Smith <psmith@gnu.org>2013-05-14 22:53:42 -0400
commitc21c1455fdfc6e87d75941f48841c72903e1e0f4 (patch)
tree07578812e5d846bc943a114db1c3f37a99079982 /ChangeLog
parent58dae243526bd322ae6bec0c4394a117a5fe0171 (diff)
downloadgunmake-c21c1455fdfc6e87d75941f48841c72903e1e0f4.tar.gz
Add requirement for plugin_is_GPL_compatible symbol in loaded objects.
Diffstat (limited to 'ChangeLog')
-rw-r--r--ChangeLog6
1 files changed, 6 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index d482c2c..c317594 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2013-05-14 Paul Smith <psmith@gnu.org>
+
+ * doc/make.texi (Loaded Object API): Document the requirement for
+ the plugin_is_GPL_compatible symbol.
+ * load.c (load_object): Check for plugin_is_GPL_compatible symbol.
+
2013-05-13 Paul Smith <psmith@gnu.org>
* filedef.h (struct file): Add a builtin flag.