Change in gapk[master]: contrib/jenkins.sh: enable AddressSanitizer

This is merely a historical archive of years 2008-2021, before the migration to mailman3.

A maintained and still updated list archive can be found at https://lists.osmocom.org/hyperkitty/list/gerrit-log@lists.osmocom.org/.

Harald Welte gerrit-no-reply at lists.osmocom.org
Tue Jul 3 11:35:47 UTC 2018


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 <axilirator at gmail.com>
Gerrit-Reviewer: Harald Welte <laforge at gnumonks.org>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20180703/827bc4e4/attachment.htm>


More information about the gerrit-log mailing list