diff options
| -rw-r--r-- | .ci/gcc.sh | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/.ci/gcc.sh b/.ci/gcc.sh index 57ff52ee49..90063e48f3 100644 --- a/.ci/gcc.sh +++ b/.ci/gcc.sh @@ -11,8 +11,16 @@ export VALGRIND_LOG="$tmpdir/valgrind-%p.log" CMAKE_EXTRA_FLAGS="-DTRAVIS_CI_BUILD=ON -DUSE_GCOV=ON" $MAKE_CMD CMAKE_EXTRA_FLAGS="${CMAKE_EXTRA_FLAGS}" unittest -$MAKE_CMD test +if ! $MAKE_CMD test; then + valgrind_check "$tmpdir" + exit 1 +fi +valgrind_check "$tmpdir" + +if ! $MAKE_CMD oldtest; then + valgrind_check "$tmpdir" + exit 1 +fi valgrind_check "$tmpdir" -$MAKE_CMD oldtest coveralls --encoding iso-8859-1 || echo 'coveralls upload failed.' |