X-Git-Url: https://gerrit.fd.io/r/gitweb?a=blobdiff_plain;f=configure;h=fbe27daeac31bcc66e4bbc26111040da4e1304c1;hb=05cc62dd504bbb0fb230fcf3786ed7f4d5be2364;hp=29f7dbd32581b660347095551d2c25f0d7948970;hpb=45e05396399b7ead25d87e79a806f0c03b78965b;p=vpp.git 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