diff options
| -rw-r--r-- | test/ChangeLog | 4 | ||||
| -rwxr-xr-x | test/Gentests | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/test/ChangeLog b/test/ChangeLog index c3d7475f..90327532 100644 --- a/test/ChangeLog +++ b/test/ChangeLog @@ -1,3 +1,7 @@ +2019-05-07 Arnold D. Robbins <arnold@skeeve.com> + + * Gentests: Finish handlinig NEED_SANDBOX. + 2019-05-06 Arnold D. Robbins <arnold@skeeve.com> * Makefile.am (EXTRA_DIST): New test: sandbox1. 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" |