diff options
Diffstat (limited to 'ci/build-check-sanitized.sh')
-rwxr-xr-x | ci/build-check-sanitized.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/ci/build-check-sanitized.sh b/ci/build-check-sanitized.sh index 39c06f43..f0d98431 100755 --- a/ci/build-check-sanitized.sh +++ b/ci/build-check-sanitized.sh @@ -5,8 +5,7 @@ set -xeuo pipefail dn=$(dirname $0) . ${dn}/libbuild.sh -export CFLAGS='-fsanitize=address -fsanitize=undefined -fsanitize-undefined-trap-on-error' # We leak global state in a few places, fixing that is hard. export ASAN_OPTIONS='detect_leaks=0' -${dn}/build.sh +build --disable-gtk-doc --with-curl --with-openssl --enable-sanitizers make check |