diff options
Diffstat (limited to 'ci/common/test.sh')
| -rw-r--r-- | ci/common/test.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ci/common/test.sh b/ci/common/test.sh index fb2dcc077e..0233d62c96 100644 --- a/ci/common/test.sh +++ b/ci/common/test.sh @@ -80,8 +80,8 @@ valgrind_check() { check_logs "${1}" "valgrind-*" } -asan_check() { - if test "${CLANG_SANITIZER}" = "ASAN_UBSAN" ; then +check_sanitizer() { + if test -n "${CLANG_SANITIZER}"; then check_logs "${1}" "*san.*" fi } @@ -104,7 +104,7 @@ run_functionaltests() {( fail 'functionaltests' F 'Functional tests failed' fi submit_coverage functionaltest - asan_check "${LOG_DIR}" + check_sanitizer "${LOG_DIR}" valgrind_check "${LOG_DIR}" check_core_dumps exit_suite @@ -118,7 +118,7 @@ run_oldtests() {( fail 'oldtests' F 'Legacy tests failed' fi submit_coverage oldtest - asan_check "${LOG_DIR}" + check_sanitizer "${LOG_DIR}" valgrind_check "${LOG_DIR}" check_core_dumps exit_suite |