diff options
Diffstat (limited to 'tests')
-rwxr-xr-x | tests/run-all | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/run-all b/tests/run-all index b188223..736e0fe 100755 --- a/tests/run-all +++ b/tests/run-all @@ -2,6 +2,9 @@ set -e # convenience script for running the tests outside adt-run # usage: tests/using-intree tests/run-all [-p|--progressive] [tests/tests/*] +# +# passing `:' as if it were tests/tests/something is +# a no-op and therefore just means to (delete and) set up the tmpdir set -o pipefail @@ -37,6 +40,13 @@ esac mkdir -p -- "$tmpdir" +case "$1" in +:) + shift + if [ $# = 0 ]; then exit 0; fi + ;; +esac + if [ $# != 0 ]; then set TESTSCRIPTS="$*" fi |