diff options
Diffstat (limited to 'bin/testall.sh')
| -rwxr-xr-x | bin/testall.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/bin/testall.sh b/bin/testall.sh deleted file mode 100755 index 93bb67ed..00000000 --- a/bin/testall.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/bash -DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) -shift 1 -for file in "$@"; do - $DIR/test.sh $file > generated/$file.tst-out -done |