[PATCH] libosmocore[master]: jenkins.sh: add -fsanitize flags, add 'make check'

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:26:08 UTC 2016


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

jenkins.sh: add -fsanitize flags, add 'make check'

Change-Id: I1692a4730e83b71f2976651993e94de0fe060b8e
---
M contrib/jenkins.sh
1 file changed, 6 insertions(+), 1 deletion(-)


  git pull ssh://gerrit.osmocom.org:29418/libosmocore refs/changes/78/978/1

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 5c69da6..6241711 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -2,7 +2,12 @@
 
 set -ex
 
+export CFLAGS="-fsanitize=address -fsanitize=undefined"
+export CPPFLAGS="-fsanitize=address -fsanitize=undefined"
+export ASAN_OPTIONS="detect_leaks=0"
+export UBSAN_OPTIONS="print_stacktrace=1:halt_on_error=1"
+
 autoreconf --install --force
 ./configure --enable-static
-$MAKE $PARALLEL_MAKE
+$MAKE $PARALLEL_MAKE check
 $MAKE distcheck

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I1692a4730e83b71f2976651993e94de0fe060b8e
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