From 634873c3ee2e1dcb045c453a4bd0b602447c3e1a Mon Sep 17 00:00:00 2001 From: =?utf8?q?Beno=C3=AEt=20Ganne?= Date: Tue, 11 Oct 2022 10:09:55 +0200 Subject: [PATCH] build: add sanitizer option to configure script MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Type: improvement Change-Id: Ia679d6e5fb7eff6dbd7363465e5667119751e908 Signed-off-by: Benoît Ganne --- configure | 10 ++++++++++ 1 file changed, 10 insertions(+) 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 -- 2.16.6