diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 10 |
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 |