Harald Welte has submitted this change and it was merged. ( https://gerrit.osmocom.org/9796 )
Change subject: contrib/jenkins.sh: enable AddressSanitizer ...................................................................... contrib/jenkins.sh: enable AddressSanitizer Change-Id: I5075107e9b563c06f43eb4544e81aefae3ad1f7d --- M contrib/jenkins.sh 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Harald Welte: Looks good to me, approved; Verified 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 @@ 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 -- To view, visit https://gerrit.osmocom.org/9796 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: gapk Gerrit-Branch: master Gerrit-MessageType: merged Gerrit-Change-Id: I5075107e9b563c06f43eb4544e81aefae3ad1f7d Gerrit-Change-Number: 9796 Gerrit-PatchSet: 3 Gerrit-Owner: Vadim Yanitskiy <axilira...@gmail.com> Gerrit-Reviewer: Harald Welte <lafo...@gnumonks.org>
