commit 038469b6f27106ab2002c7da11c6bca2a5fe30ee
parent 6ad3470879eab8eec1ffdee3141ebae24b468044
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date: Sat, 1 Mar 2025 09:10:23 +0000
Make no sanitizer the default for debug build
Diffstat:
1 file changed, 1 insertion(+), 6 deletions(-)
diff --git 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"
