diff options
| author | Vadim Yanitskiy <axilirator@gmail.com> | 2018-06-30 22:07:59 +0700 |
|---|---|---|
| committer | Harald Welte <laforge@gnumonks.org> | 2018-07-03 11:35:43 +0000 |
| commit | 22f84db95dcef03a7c913ce8481c29302f7c824c (patch) | |
| tree | 2a2cccf94b28c3451f4ed5d2f7f26ff384d1b712 | |
| parent | 3f22f18790707d1e0baf37a76cae1217f505bfde (diff) | |
contrib/jenkins.sh: enable AddressSanitizer
Change-Id: I5075107e9b563c06f43eb4544e81aefae3ad1f7d
| -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 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 |