diff options
Diffstat (limited to 'tests')
-rwxr-xr-x | tests/run.sh | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/tests/run.sh b/tests/run.sh index 0fbb196..5c33f73 100755 --- a/tests/run.sh +++ b/tests/run.sh @@ -1,13 +1,21 @@ #!/bin/bash -make +FAILURE=0 for i in out/*.out; do ./$i if [[ $? -ne 69 ]]; then echo "[FAILED] $i" + FAILURE=1 else echo "[ OK ] $i" fi done +echo "==============" +if [[ $FAILURE -ne 0 ]]; then + echo " TESTS FAILED " +else + echo " TESTS PASSED " +fi +echo "==============" |