diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2010-11-12 12:23:33 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2010-11-12 12:23:33 +0200 |
| commit | 40b3741f63c19e38077d57f4ce4737916ec5073e (patch) | |
| tree | 89e086fabdfc738b379901d86733e6c260c22f35 /ext.c | |
| parent | 00ef0423acd97cb964a2bae54c93a03a8ab50e5e (diff) | |
| download | egawk-40b3741f63c19e38077d57f4ce4737916ec5073e.tar.gz egawk-40b3741f63c19e38077d57f4ce4737916ec5073e.tar.bz2 egawk-40b3741f63c19e38077d57f4ce4737916ec5073e.zip | |
Bring in development gawk changes.
Diffstat (limited to 'ext.c')
| -rw-r--r-- | ext.c | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -57,6 +57,9 @@ do_ext(NODE *tree) junk = (AWKNUM) dummy; #endif + if (do_sandbox) + fatal(_("extensions not allowed in sandbox mode")); + if (do_lint && ! warned) { warned = TRUE; lintwarn(_("`extension' is a gawk extension")); |