diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/ci-build.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/scripts/ci-build.sh b/scripts/ci-build.sh index 7e9bd948..88b1fac7 100755 --- a/scripts/ci-build.sh +++ b/scripts/ci-build.sh @@ -49,11 +49,17 @@ case "${build}" in make -j 2 make check ;; -"cmake") +"cmake"|"cmake-asan") mkdir cmakebuild cd cmakebuild + if [ "${build}" = "cmake-asan" ]; then + asan_opts="-DBUILD_SANITIZE_ADDRESS=ON -DBUILD_SANITIZE_UNDEFINED=ON" + else + asan_opts="" + fi cmake \ -DBUILD_EXTRA_WARNINGS=ON \ + ${asan_opts} \ -DCMAKE_BUILD_TYPE=RelWithDebInfo \ -DWITH_PCRE2=ON \ -DWITH_ZSTD=ON \ |