diff options
| -rwxr-xr-x | tests/run_tests.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/run_tests.sh b/tests/run_tests.sh index bc2cc77..547aedc 100755 --- a/tests/run_tests.sh +++ b/tests/run_tests.sh @@ -88,6 +88,9 @@ wrap_test () { if [ "$ret" -gt 127 ]; then signame=$(kill -l $((ret - 128))) FAIL "Killed by SIG$signame" + elif [ "$ret" -eq $VGCODE ]; then + echo "VALGRIND ERROR" + exit $VGCODE else FAIL "Returned error code $ret" fi |