diff options
Diffstat (limited to '.circleci/cmake-asan')
-rwxr-xr-x | .circleci/cmake-asan | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.circleci/cmake-asan b/.circleci/cmake-asan index 0d796aba..cc1434b1 100755 --- a/.circleci/cmake-asan +++ b/.circleci/cmake-asan | |||
@@ -17,6 +17,7 @@ cmake -B_build -H. -GNinja \ | |||
17 | -DCMAKE_INSTALL_PREFIX:PATH="$PWD/_install" \ | 17 | -DCMAKE_INSTALL_PREFIX:PATH="$PWD/_install" \ |
18 | -DMIN_LOGGER_LEVEL=TRACE \ | 18 | -DMIN_LOGGER_LEVEL=TRACE \ |
19 | -DMUST_BUILD_TOXAV=ON \ | 19 | -DMUST_BUILD_TOXAV=ON \ |
20 | -DNON_HERMETIC_TESTS=ON \ | ||
20 | -DSTRICT_ABI=ON \ | 21 | -DSTRICT_ABI=ON \ |
21 | -DTEST_TIMEOUT_SECONDS=120 \ | 22 | -DTEST_TIMEOUT_SECONDS=120 \ |
22 | -DUSE_IPV6=OFF \ | 23 | -DUSE_IPV6=OFF \ |