diff options
Diffstat (limited to 'ci/run-build-and-tests.sh')
-rwxr-xr-x | ci/run-build-and-tests.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/ci/run-build-and-tests.sh b/ci/run-build-and-tests.sh index 3699ab093..24f0f899a 100755 --- a/ci/run-build-and-tests.sh +++ b/ci/run-build-and-tests.sh @@ -97,11 +97,12 @@ case "${CHECK-}" in rc=$? for n in ${VALGRIND_TOOLS:-memcheck helgrind drd}; do make -k $j -C "${VALGRIND_TESTDIR:-.}" \ - check-valgrind-$n VERBOSE=${VERBOSE-} || + check-valgrind-$n V=1 VERBOSE=${VERBOSE-} \ + ${VALGRIND_TESTS:+TESTS="$VALGRIND_TESTS"} || rc=$? done echo 'BEGIN OF TEST SUITE INFORMATION' - tail -n 99999 -- tests*/test-suite*.log tests*/ksysent.log || + tail -n 99999 -- tests*/test-suite*.log || rc=$? echo 'END OF TEST SUITE INFORMATION' [ "$rc" -eq 0 ] |