From 038469b6f27106ab2002c7da11c6bca2a5fe30ee Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sat, 1 Mar 2025 09:10:23 +0000 Subject: Make no sanitizer the default for debug build --- configure.sh | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/configure.sh b/configure.sh index 1f0224d..687c6b4 100755 --- a/configure.sh +++ b/configure.sh @@ -24,10 +24,7 @@ # SANITIZE="option1,option2,..." # Add the options "-fsanitize=option1", "-fsanitize=option2", ... to the # compilation command when compiling in debug mode. -# By default, "-fsanitize=address" and "-fsanitize=undefined" will be used. -# If this variable is set, the default is overridden. No check is performed -# on the availability of any sanitizer used, make sure the ones you use are -# available on your system. +# By default, no sanitizer is used. # # Examples # @@ -99,8 +96,6 @@ if [ -n "$SANITIZE" ]; then for san in $(echo "$SANITIZE" | tr ',' '\n'); do SAN="$SAN -fsanitize=$san" done -else - SAN="-fsanitize=address -fsanitize=undefined" fi LIBS="-lpthread" -- cgit v1.3