diff options
-rw-r--r-- | run_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run_tests.sh b/run_tests.sh index e5be8ea..4004693 100644 --- a/run_tests.sh +++ b/run_tests.sh @@ -8,7 +8,7 @@ MIN_SINT="-2147483648" run_test () { echo "Running $1" `$1 &>/dev/null` - if [ $? -eq 1 ]; then + if [ $? -ne 0 ]; then echo "Failed" (( FAIL++ )) else |