diff options
Diffstat (limited to 'tests/techmap/abc9/run-test.sh')
-rwxr-xr-x | tests/techmap/abc9/run-test.sh | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/tests/techmap/abc9/run-test.sh b/tests/techmap/abc9/run-test.sh deleted file mode 100755 index e2fc11e52..000000000 --- a/tests/techmap/abc9/run-test.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash -set -e -for x in *_runtest.sh; do - echo "Running $x.." - if ! bash $x &> ${x%.sh}.log; then - tail ${x%.sh}.log - echo ERROR - exit 1 - fi -done |