diff options
Diffstat (limited to 'test/test-lib.sh')
-rw-r--r-- | test/test-lib.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/test-lib.sh b/test/test-lib.sh index 2fcaba65..487075e5 100644 --- a/test/test-lib.sh +++ b/test/test-lib.sh @@ -27,6 +27,7 @@ shopt -u xpg_echo this_test=${0##*/} this_test=${this_test%.sh} +this_test=${this_test#T[0-9][0-9][0-9]-} # if --tee was passed, write the output not only to the terminal, but # additionally to the file test-results/$BASENAME.out, too. |