diff options
Diffstat (limited to '.ci/clang.sh')
| -rw-r--r-- | .ci/clang.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/clang.sh b/.ci/clang.sh index 605a7647c8..5621c04e0c 100644 --- a/.ci/clang.sh +++ b/.ci/clang.sh @@ -22,7 +22,7 @@ if [ "$TRAVIS_OS_NAME" = "linux" ]; then export ASAN_SYMBOLIZER_PATH=$symbolizer export MSAN_SYMBOLIZER_PATH=$symbolizer export ASAN_OPTIONS="detect_leaks=1:log_path=$tmpdir/asan" - export TSAN_OPTIONS="external_symbolizer_path=$symbolizer:log_path=$tmpdir/tsan" + export TSAN_OPTIONS="external_symbolizer_path=$symbolizer log_path=$tmpdir/tsan" export UBSAN_OPTIONS="log_path=$tmpdir/ubsan" # not sure if this works CMAKE_EXTRA_FLAGS="-DTRAVIS_CI_BUILD=ON \ -DUSE_GCOV=ON \ |