diff options
| -rwxr-xr-x | tests/run_tests.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/run_tests.sh b/tests/run_tests.sh index 3bc5b41..fa7b2f7 100755 --- a/tests/run_tests.sh +++ b/tests/run_tests.sh @@ -900,3 +900,4 @@ fi echo "* Strange test result: $tot_strange" echo "**********" +[ "$tot_tests" -eq "$tot_pass" ] || exit 1 |