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

[Neels Hofmeyr]

Hello Jenkins Builder,

I'd like you to reexamine a change.  Please visit

    https://gerrit.osmocom.org/976

to look at the new patch set (#2).

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(+), 3 deletions(-)


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

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index e9f63e4..9662dae 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -5,6 +5,15 @@
 
 autoreconf --install --force
 ./configure --enable-static
-$MAKE $PARALLEL_MAKE
-$MAKE distcheck \
-  || cat-testlogs.sh
+$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: newpatchset
Gerrit-Change-Id: I9911e6b189a0d5f2d739e81d196cc323a9b85e7d
Gerrit-PatchSet: 2
Gerrit-Project: libosmocore
Gerrit-Branch: master
Gerrit-Owner: Neels Hofmeyr <nhofmeyr at sysmocom.de>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: Neels Hofmeyr <nhofmeyr at sysmocom.de>