diff options
author | Paul Smith <psmith@gnu.org> | 2013-05-14 22:53:42 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2013-05-14 22:53:42 -0400 |
commit | c21c1455fdfc6e87d75941f48841c72903e1e0f4 (patch) | |
tree | 07578812e5d846bc943a114db1c3f37a99079982 /load.c | |
parent | 58dae243526bd322ae6bec0c4394a117a5fe0171 (diff) | |
download | gunmake-c21c1455fdfc6e87d75941f48841c72903e1e0f4.tar.gz |
Add requirement for plugin_is_GPL_compatible symbol in loaded objects.
Diffstat (limited to 'load.c')
-rw-r--r-- | load.c | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -71,6 +71,12 @@ load_object (const gmk_floc *flocp, int noerror, return NULL; } + /* Assert that the GPL license symbol is defined. */ + symp = dlsym (*dlp, "plugin_is_GPL_compatible"); + if (! symp) + fatal (flocp, _("Loaded object %s is not declared to be GPL compatible"), + ldname); + symp = dlsym (*dlp, symname); if (! symp) fatal (flocp, _("Failed to load symbol %s from %s: %s"), |