diff options
Diffstat (limited to 'tools/run-tests.sh')
-rwxr-xr-x | tools/run-tests.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/tools/run-tests.sh b/tools/run-tests.sh deleted file mode 100755 index bd3cc60..0000000 --- a/tools/run-tests.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/bash - -for w in 4 8 16 32 64 128 ; do - ./gf_methods $w -A -U | sh -e - if [ $? != "0" ] ; then - echo "Failed unit tests for w=$w" - break - fi -done |