summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorBenoît Ganne <bganne@cisco.com>2022-10-11 10:09:55 +0200
committerDamjan Marion <dmarion@0xa5.net>2023-03-06 17:49:06 +0000
commit634873c3ee2e1dcb045c453a4bd0b602447c3e1a (patch)
treede3b9ebbc6ecf252a948a72ef8e5767d18f7d346 /configure
parentff2fba7264cf077fc83ef2192013b7135e4f83f1 (diff)
build: add sanitizer option to configure script
Type: improvement Change-Id: Ia679d6e5fb7eff6dbd7363465e5667119751e908 Signed-off-by: Benoît Ganne <bganne@cisco.com>
Diffstat (limited to 'configure')
-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