diff options
-rw-r--r-- | test/old/testdir/test.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/test/old/testdir/test.sh b/test/old/testdir/test.sh index affdc308d1..6e7fa9db18 100644 --- a/test/old/testdir/test.sh +++ b/test/old/testdir/test.sh @@ -85,7 +85,5 @@ valgrind_check() { } check_sanitizer() { - if test -n "${CLANG_SANITIZER}"; then - check_logs "${1}" "*san.*" | cat - fi + check_logs "${1}" "*san.*" } |