diff options
author | Pau Espin Pedrol <pespin@sysmocom.de> | 2018-04-16 14:27:38 +0200 |
---|---|---|
committer | Harald Welte <laforge@gnumonks.org> | 2018-04-16 15:17:48 +0000 |
commit | 53bdb7f82abbbcd7ecbb31c12ba877661bc6852f (patch) | |
tree | 295231b99676977f7f4524867716a83bcc401831 /contrib | |
parent | 6462dd3963ba36b9969483b4b377b9f480aed8bc (diff) |
configure.ac: Add --enable-sanitize option
Change-Id: I1b5154a47bb2f66103ac254a0f422e8a80b2d3e0
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/jenkins.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index c4d786d..e600e01 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -63,7 +63,7 @@ fi mkdir "$deps" || true -osmo-build-dep.sh libosmocore "" "--disable-doxygen --disable-pcsc" +osmo-build-dep.sh libosmocore "" "--enable-sanitize --disable-doxygen --disable-pcsc" export PKG_CONFIG_PATH="$inst/lib/pkgconfig:$PKG_CONFIG_PATH" export LD_LIBRARY_PATH="$inst/lib" @@ -78,7 +78,7 @@ set -x cd "$base" autoreconf --install --force -./configure $INSTR +./configure --enable-sanitize $INSTR $MAKE $PARALLEL_MAKE $MAKE check \ || cat-testlogs.sh |