diff options
author | Max <msuraev@sysmocom.de> | 2017-12-21 17:15:07 +0100 |
---|---|---|
committer | Max <msuraev@sysmocom.de> | 2017-12-21 17:15:07 +0100 |
commit | 68d08ad03fbcb789140cb119c9abf6072159587f (patch) | |
tree | caee10c7c0fe702585a1a886a8577180f470290f /contrib/jenkins.sh | |
parent | 367275e85143d45c17cb7b01b15b5bd791bf4a21 (diff) |
Enable sanitize for CI tests
While at it, also remove unsupported ./configure options remaining since
before repo split.
Change-Id: I77b3375fd680be269fd2df7db61ece6c5d1754ba
Diffstat (limited to 'contrib/jenkins.sh')
-rwxr-xr-x | contrib/jenkins.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index fa7c60efa..d2db0c98b 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -46,7 +46,7 @@ set -x cd "$base" autoreconf --install --force -./configure --enable-osmo-bsc --enable-nat $SMPP $MGCP $IU --enable-vty-tests --enable-external-tests +./configure --enable-sanitize $SMPP $MGCP $IU --enable-vty-tests --enable-external-tests $MAKE $PARALLEL_MAKE LD_LIBRARY_PATH="$inst/lib" $MAKE check \ || cat-testlogs.sh |