diff options
Diffstat (limited to 'regress/test-exec.sh')
-rw-r--r-- | regress/test-exec.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/regress/test-exec.sh b/regress/test-exec.sh index 42473c76f..3d4a856bb 100644 --- a/regress/test-exec.sh +++ b/regress/test-exec.sh | |||
@@ -605,7 +605,11 @@ if [ "x$USE_VALGRIND" != "x" ]; then | |||
605 | fi | 605 | fi |
606 | fi | 606 | fi |
607 | done | 607 | done |
608 | verbose valgrind results $VG_RESULT_COUNT errors $VG_ERROR_COUNT | 608 | if [ x"$VG_SKIP" != "x" ]; then |
609 | verbose valgrind skipped | ||
610 | else | ||
611 | verbose valgrind results $VG_RESULT_COUNT errors $VG_ERROR_COUNT | ||
612 | fi | ||
609 | fi | 613 | fi |
610 | 614 | ||
611 | if [ $RESULT -eq 0 ]; then | 615 | if [ $RESULT -eq 0 ]; then |