[PATCH] libosmocore[master]: jenkins.sh: add sanitize options to jenkins run

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/.

Neels Hofmeyr gerrit-no-reply at lists.osmocom.org
Fri Sep 30 00:13:34 UTC 2016


Review at  https://gerrit.osmocom.org/976

jenkins.sh: add sanitize options to jenkins run

Add -fsanitize flags and ASAN/UBSAN options.

Do 'make check' besides 'make distcheck'.

Change-Id: I9911e6b189a0d5f2d739e81d196cc323a9b85e7d
---
M contrib/jenkins.sh
1 file changed, 12 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.osmocom.org:29418/libosmocore refs/changes/76/976/1

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 5c69da6..ec92004 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -4,5 +4,15 @@
 
 autoreconf --install --force
 ./configure --enable-static
-$MAKE $PARALLEL_MAKE
-$MAKE distcheck
+$MAKE $PARALLEL_MAKE \
+ CFLAGS+=" -fsanitize=address -fsanitize=undefined" \
+ CPPFLAGS+=" -fsanitize=address -fsanitize=undefined" \
+ ASAN_OPTIONS="detect_leaks=0" UBSAN_OPTIONS="print_stacktrace=1:halt_on_error=1" \
+ check \
+ || cat-testlogs.sh
+$MAKE \
+ CFLAGS+=" -fsanitize=address -fsanitize=undefined" \
+ CPPFLAGS+=" -fsanitize=address -fsanitize=undefined" \
+ ASAN_OPTIONS="detect_leaks=0" UBSAN_OPTIONS="print_stacktrace=1:halt_on_error=1" \
+ distcheck \
+ || cat-testlogs.sh

-- 
To view, visit https://gerrit.osmocom.org/976
To unsubscribe, visit https://gerrit.osmocom.org/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I9911e6b189a0d5f2d739e81d196cc323a9b85e7d
Gerrit-PatchSet: 1
Gerrit-Project: libosmocore
Gerrit-Branch: master
Gerrit-Owner: Neels Hofmeyr <nhofmeyr at sysmocom.de>



More information about the gerrit-log mailing list