diff options
Diffstat (limited to '.circleci/cmake-tsan')
-rwxr-xr-x | .circleci/cmake-tsan | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.circleci/cmake-tsan b/.circleci/cmake-tsan index 60c2b515..65ccc437 100755 --- a/.circleci/cmake-tsan +++ b/.circleci/cmake-tsan | |||
@@ -6,6 +6,7 @@ CACHEDIR="$HOME/cache" | |||
6 | 6 | ||
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 -fsanitize=thread | 10 | add_flag -fsanitize=thread |
10 | cmake -H. -B_build -GNinja \ | 11 | cmake -H. -B_build -GNinja \ |
11 | -DCMAKE_C_FLAGS="$C_FLAGS" \ | 12 | -DCMAKE_C_FLAGS="$C_FLAGS" \ |