diff options
Diffstat (limited to 'tests')
| -rwxr-xr-x | tests/run_tests.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/run_tests.sh b/tests/run_tests.sh index 0578681..8c3c7f7 100755 --- a/tests/run_tests.sh +++ b/tests/run_tests.sh @@ -40,8 +40,10 @@ echo "----------------------------------------" if [ $FAILED -ne 0 ]; then echo -e "Failed tests:$FAILED_TESTS" + rm -f a.out out.c exit 1 else echo "All tests passed!" + rm -f a.out out.c exit 0 fi |
