diff options
Diffstat (limited to 'test/Gentests')
| -rwxr-xr-x | test/Gentests | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/Gentests b/test/Gentests index 9f51b927..78833f0f 100755 --- a/test/Gentests +++ b/test/Gentests @@ -285,6 +285,9 @@ END { for (x in traditional) if (!(x in targets)) printf "WARNING: --traditional target `%s' is missing.\n", x > "/dev/stderr" + for (x in sandbox) + if (!(x in targets)) + printf "WARNING: --sandbox target `%s' is missing.\n", x > "/dev/stderr" for (x in pretty) if (!(x in targets)) printf "WARNING: --pretty-print target `%s' is missing.\n", x > "/dev/stderr" |