diff options
Diffstat (limited to 'ci/common')
| -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 e25af4d56c..c184064236 100644 --- a/ci/common/test.sh +++ b/ci/common/test.sh @@ -81,7 +81,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 } |