diff options
author | Darren Tucker <dtucker@dtucker.net> | 2019-07-19 13:16:11 +1000 |
---|---|---|
committer | Darren Tucker <dtucker@dtucker.net> | 2019-07-19 13:16:11 +1000 |
commit | 65333f7454365fe40f7367630e7dd10903b9d99e (patch) | |
tree | af5e559485f2a91136ef7b93e69dc666d226b411 /regress | |
parent | fccb7eb3436da8ef3dcd22e5936ba1abc7ae6730 (diff) |
Show when skipping valgrind for a test.
Diffstat (limited to 'regress')
-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 |