mirror of https://gerrit.osmocom.org/gapk
contrib/jenkins.sh: enable AddressSanitizer
Change-Id: I5075107e9b563c06f43eb4544e81aefae3ad1f7d
This commit is contained in:
parent
3f22f18790
commit
22f84db95d
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue