summaryrefslogtreecommitdiff
path: root/.circleci/cmake-tsan
diff options
context:
space:
mode:
Diffstat (limited to '.circleci/cmake-tsan')
-rwxr-xr-x.circleci/cmake-tsan2
1 files changed, 2 insertions, 0 deletions
diff --git a/.circleci/cmake-tsan b/.circleci/cmake-tsan
index bb850e7c..b351e534 100755
--- a/.circleci/cmake-tsan
+++ b/.circleci/cmake-tsan
@@ -7,6 +7,7 @@ CACHEDIR="$HOME/cache"
7. ".travis/flags-$CC.sh" 7. ".travis/flags-$CC.sh"
8add_flag -Werror 8add_flag -Werror
9add_flag -fdiagnostics-color=always 9add_flag -fdiagnostics-color=always
10add_flag -fno-omit-frame-pointer
10add_flag -fsanitize=thread 11add_flag -fsanitize=thread
11cmake -H. -B_build -GNinja \ 12cmake -H. -B_build -GNinja \
12 -DCMAKE_C_FLAGS="$C_FLAGS" \ 13 -DCMAKE_C_FLAGS="$C_FLAGS" \
@@ -27,5 +28,6 @@ ninja install -j$(nproc)
27 28
28export TSAN_OPTIONS="halt_on_error=1" 29export TSAN_OPTIONS="halt_on_error=1"
29export TSAN_OPTIONS="$TSAN_OPTIONS,second_deadlock_stack=1" 30export TSAN_OPTIONS="$TSAN_OPTIONS,second_deadlock_stack=1"
31export TSAN_OPTIONS="$TSAN_OPTIONS,symbolize=1"
30ctest -j50 --output-on-failure || 32ctest -j50 --output-on-failure ||
31ctest -j50 --output-on-failure --rerun-failed 33ctest -j50 --output-on-failure --rerun-failed