diff options
Diffstat (limited to '.circleci/cmake-tsan')
-rwxr-xr-x | .circleci/cmake-tsan | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.circleci/cmake-tsan b/.circleci/cmake-tsan index 65ccc437..5d4453ff 100755 --- a/.circleci/cmake-tsan +++ b/.circleci/cmake-tsan | |||
@@ -24,6 +24,7 @@ cd _build | |||
24 | 24 | ||
25 | ninja install -j$(nproc) | 25 | ninja install -j$(nproc) |
26 | 26 | ||
27 | export TSAN_OPTIONS="halt_on_error=1" | ||
28 | export TSAN_OPTIONS="$TSAN_OPTIONS,second_deadlock_stack=1" | ||
27 | ctest -j50 --output-on-failure || | 29 | ctest -j50 --output-on-failure || |
28 | ctest -j50 --output-on-failure --rerun-failed || | 30 | ctest -j50 --output-on-failure --rerun-failed |
29 | true # TODO(iphydf): remove this line once the data races are fixed. | ||