aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMax <msuraev@sysmocom.de>2017-12-21 17:19:45 +0100
committerMax <msuraev@sysmocom.de>2017-12-21 17:19:45 +0100
commit09653a0a19ee3006f3c721f51f26ecf2f3ef8452 (patch)
tree85804831c5f45f31ed02acfcf3b9baee11193a77
parent57d4fe715733915d9dc1cda3af535e16b282d50d (diff)
Enable sanitize for CI tests
-rwxr-xr-xcontrib/jenkins.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 57954f032..d7a41a8a8 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -40,7 +40,7 @@ set -x
cd "$base"
autoreconf --install --force
-./configure --enable-vty-tests --enable-external-tests
+./configure --enable-sanitize --enable-vty-tests --enable-external-tests
$MAKE $PARALLEL_MAKE
LD_LIBRARY_PATH="$inst/lib" $MAKE check \
|| cat-testlogs.sh