diff options
| author | iphydf <iphydf@users.noreply.github.com> | 2018-08-26 19:08:34 +0000 |
|---|---|---|
| committer | iphydf <iphydf@users.noreply.github.com> | 2018-08-26 20:23:27 +0000 |
| commit | 5352f483016949073556a1f9ac488051fe96c308 (patch) | |
| tree | 8aa122ace1a7d8ae12117e67a01fa20ab574bbd8 /.circleci/cmake-tsan | |
| parent | 01e2cc55cbb5fd0d89d7624124674307266ef4ee (diff) | |
Make the tsan build fail instead of swallowing its errors.
We'll make it non-required, but we want to know about these failures so
we are incentivised to fix them.
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. | ||