diff options
| -rw-r--r-- | ci/common/test.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ci/common/test.sh b/ci/common/test.sh index 2de89dee79..1cb3a6224b 100644 --- a/ci/common/test.sh +++ b/ci/common/test.sh @@ -71,7 +71,9 @@ valgrind_check() { } asan_check() { - check_logs "${1}" "*san.*" | asan_symbolize + if test "${CLANG_SANITIZER}" = "ASAN_UBSAN" ; then + check_logs "${1}" "*san.*" | asan_symbolize + fi } run_unittests() {( |