diff options
Diffstat (limited to 'vms/gawk_plugin.opt')
| -rw-r--r-- | vms/gawk_plugin.opt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/vms/gawk_plugin.opt b/vms/gawk_plugin.opt new file mode 100644 index 00000000..b0523d08 --- /dev/null +++ b/vms/gawk_plugin.opt @@ -0,0 +1,5 @@ +CASE_SENSITIVE=YES +SYMBOL_VECTOR=(plugin_is_GPL_compatible=DATA) +SYMBOL_VECTOR=(PLUGIN_IS_GPL_COMPATIBLE/plugin_is_GPL_compatible=DATA) +SYMBOL_VECTOR=(dl_load=PROCEDURE) +SYMBOL_VECTOR=(DL_LOAD/dl_load=PROCEDURE) |