diff options
Diffstat (limited to 'test/Gentests')
| -rwxr-xr-x | test/Gentests | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/Gentests b/test/Gentests index cf4ba908..9f51b927 100755 --- a/test/Gentests +++ b/test/Gentests @@ -94,6 +94,13 @@ BEGIN { next } +/^NEED_SANDBOX *=/,/[^\\]$/ { + gsub(/(^NEED_SANDBOX *=|\\$)/,"") + for (i = 1; i <= NF; i++) + sandbox[$i] + next +} + /^GENTESTS_UNUSED *=/,/[^\\]$/ { gsub(/(^GENTESTS_UNUSED *=|\\$)/,"") for (i = 1; i <= NF; i++) @@ -204,6 +211,10 @@ function generate(x, s, i, locale_string) s = s " --traditional" delete traditional[x] } + if (x in sandbox) { + s = s " --sandbox" + delete sandbox[x] + } if (x in pretty) { s = s " --pretty-print=_$@" delete pretty[x] |