diff options
-rw-r--r-- | .ci/clang-asan.sh | 8 | ||||
-rw-r--r-- | .ci/gcc-32.sh | 1 |
2 files changed, 7 insertions, 2 deletions
diff --git a/.ci/clang-asan.sh b/.ci/clang-asan.sh index 5019466fcf..0dff61f297 100644 --- a/.ci/clang-asan.sh +++ b/.ci/clang-asan.sh @@ -26,15 +26,19 @@ export UBSAN_OPTIONS="log_path=$tmpdir/ubsan" # not sure if this works install_dir="$(pwd)/dist" $MAKE_CMD cmake CMAKE_EXTRA_FLAGS="-DTRAVIS_CI_BUILD=ON -DCMAKE_INSTALL_PREFIX=$install_dir -DUSE_GCOV=ON" -$MAKE_CMD test +if ! $MAKE_CMD test; then + asan_check "$tmpdir" + exit 1 +fi asan_check "$tmpdir" + if ! $MAKE_CMD oldtest; then reset asan_check "$tmpdir" exit 1 fi - asan_check "$tmpdir" + coveralls --encoding iso-8859-1 || echo 'coveralls upload failed.' $MAKE_CMD install diff --git a/.ci/gcc-32.sh b/.ci/gcc-32.sh index c0e9dcd839..ec51cfab69 100644 --- a/.ci/gcc-32.sh +++ b/.ci/gcc-32.sh @@ -28,3 +28,4 @@ CMAKE_EXTRA_FLAGS="-DTRAVIS_CI_BUILD=ON \ $MAKE_CMD CMAKE_EXTRA_FLAGS="${CMAKE_EXTRA_FLAGS}" unittest $MAKE_CMD test +$MAKE_CMD oldtest |