diff options
-rwxr-xr-x | .circleci/cmake-asan | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.circleci/cmake-asan b/.circleci/cmake-asan index 39ec81b8..2f9e99a8 100755 --- a/.circleci/cmake-asan +++ b/.circleci/cmake-asan | |||
@@ -7,7 +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 -fsanitize=address | 10 | add_flag -fsanitize=address,undefined |
11 | cmake -B_build -H. -GNinja \ | 11 | cmake -B_build -H. -GNinja \ |
12 | -DCMAKE_C_FLAGS="$C_FLAGS" \ | 12 | -DCMAKE_C_FLAGS="$C_FLAGS" \ |
13 | -DCMAKE_CXX_FLAGS="$CXX_FLAGS" \ | 13 | -DCMAKE_CXX_FLAGS="$CXX_FLAGS" \ |