diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2014-01-10 12:30:37 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2014-01-10 12:30:37 +0200 |
| commit | 1daf400c55ab311c43f1cfa0a253955d81c0c2e7 (patch) | |
| tree | 8951b5772f56ee5086fce670261777356858b606 /vms/gawk_plugin.opt | |
| parent | 54684e9a410c64bcde42c39e02832d586ffd1074 (diff) | |
| parent | 664868f72b741ba448398d609e18a4cbb1ca20be (diff) | |
| download | egawk-1daf400c55ab311c43f1cfa0a253955d81c0c2e7.tar.gz egawk-1daf400c55ab311c43f1cfa0a253955d81c0c2e7.tar.bz2 egawk-1daf400c55ab311c43f1cfa0a253955d81c0c2e7.zip | |
Merge branch 'gawk-4.1-stable'
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) |