diff options
| author |   Benoît Ganne <bganne@cisco.com> | 2022-10-11 10:09:55 +0200 |
|---|---|---|
| committer |   Damjan Marion <dmarion@0xa5.net> | 2023-03-06 17:49:06 +0000 |
| commit | 634873c3ee2e1dcb045c453a4bd0b602447c3e1a (patch) | |
| tree | de3b9ebbc6ecf252a948a72ef8e5767d18f7d346 /configure | |
| parent | ff2fba7264cf077fc83ef2192013b7135e4f83f1 (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-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 |