diff options
Diffstat (limited to 'ci/common/test.sh')
| -rw-r--r-- | ci/common/test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/common/test.sh b/ci/common/test.sh index a6afd1df4c..f1c5454e3f 100644 --- a/ci/common/test.sh +++ b/ci/common/test.sh @@ -83,7 +83,7 @@ valgrind_check() { asan_check() { if test "${CLANG_SANITIZER}" = "ASAN_UBSAN" ; then - check_logs "${1}" "*san.*" | asan_symbolize + check_logs "${1}" "*san.*" | $ASAN_SYMBOLIZE fi } |