aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xconfigure10
1 files changed, 10 insertions, 0 deletions
diff --git a/configure b/configure
index 29f7dbd3258..fbe27daeac3 100755
--- a/configure
+++ b/configure
@@ -30,6 +30,7 @@ OPTIONS:
--build-type, -t Build type (release, debug, ...)
--native-only, -n Only compile for Native CPU (no multiarch)
--wipe, -w Wipe whole repo (except startup.* files)
+ --sanitize, -s Enable sanitizer (mem)
__EOF__
}
@@ -83,6 +84,15 @@ while (( "$#" )); do
wipe=yes
shift 1
;;
+ -s|--sanitize)
+ shift 1
+ case "$1" in
+ mem)
+ shift 1
+ args+=("-DVPP_ENABLE_SANITIZE_ADDR=ON")
+ ;;
+ esac
+ ;;
-*|--*=) # unsupported flags
echo "Error: Unsupported flag $1" >&2
exit 1