summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorVadim Yanitskiy <axilirator@gmail.com>2018-06-30 22:07:59 +0700
committerHarald Welte <laforge@gnumonks.org>2018-07-03 11:35:43 +0000
commit22f84db95dcef03a7c913ce8481c29302f7c824c (patch)
tree2a2cccf94b28c3451f4ed5d2f7f26ff384d1b712
parent3f22f18790707d1e0baf37a76cae1217f505bfde (diff)
contrib/jenkins.sh: enable AddressSanitizer
-rwxr-xr-xcontrib/jenkins.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index ba4e7af..cf53c3a 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -34,7 +34,7 @@ set -x
cd "$base"
autoreconf --install --force
-./configure
+./configure --enable-sanitize
$MAKE $PARALLEL_MAKE
LD_LIBRARY_PATH="$inst/lib" $MAKE check || cat-testlogs.sh
LD_LIBRARY_PATH="$inst/lib" DISTCHECK_CONFIGURE_FLAGS="" $MAKE distcheck || cat-testlogs.sh