diff options
Diffstat (limited to '.circleci/cmake-tsan')
-rwxr-xr-x | .circleci/cmake-tsan | 2 |
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" |
8 | add_flag -Werror | 8 | add_flag -Werror |
9 | add_flag -fdiagnostics-color=always | 9 | add_flag -fdiagnostics-color=always |
10 | add_flag -fno-omit-frame-pointer | ||
10 | add_flag -fsanitize=thread | 11 | add_flag -fsanitize=thread |
11 | cmake -H. -B_build -GNinja \ | 12 | cmake -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 | ||
28 | export TSAN_OPTIONS="halt_on_error=1" | 29 | export TSAN_OPTIONS="halt_on_error=1" |
29 | export TSAN_OPTIONS="$TSAN_OPTIONS,second_deadlock_stack=1" | 30 | export TSAN_OPTIONS="$TSAN_OPTIONS,second_deadlock_stack=1" |
31 | export TSAN_OPTIONS="$TSAN_OPTIONS,symbolize=1" | ||
30 | ctest -j50 --output-on-failure || | 32 | ctest -j50 --output-on-failure || |
31 | ctest -j50 --output-on-failure --rerun-failed | 33 | ctest -j50 --output-on-failure --rerun-failed |