aboutsummaryrefslogtreecommitdiffstats
path: root/contrib
diff options
context:
space:
mode:
authorNeels Hofmeyr <nhofmeyr@sysmocom.de>2016-09-30 01:25:45 +0200
committerNeels Hofmeyr <nhofmeyr@sysmocom.de>2016-10-12 22:50:24 +0000
commita23817622b28cb1969a73ffd36da501eb29b9cd7 (patch)
treefb1257402e7909c8d99318fc3337b568aca4e907 /contrib
parent2b3c228416263eee6e261c3c589f1a18e54d9a27 (diff)
configure: add --enable-sanitize, use in jenkins.sh
--enable-sanitize adds address sanitizer CFLAGS/CPPFLAGS to the entire build. Also pass UBSAN_OPTIONS to the test suite run (only has effect during runtime). Add this flag to jenkins.sh's configure step. To ensure that we get the sanitize results, add 'make check' to jenkins to catch sanitize failures; Keep 'make distcheck' without ASAN; it has its own configure which omits --enable-sanitize. This way we test both with and without ASAN. Change-Id: Idf7f46fa048608c2951f2473cb528f6c8dc2681d
Diffstat (limited to 'contrib')
-rwxr-xr-xcontrib/jenkins.sh5
1 files changed, 3 insertions, 2 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index e5e17c8..108a73a 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -3,7 +3,8 @@
set -ex
autoreconf --install --force
-./configure --enable-static
-$MAKE $PARALLEL_MAKE
+./configure --enable-static --enable-sanitize
+$MAKE $PARALLEL_MAKE check \
+ || cat-testlogs.sh
$MAKE distcheck \
|| cat-testlogs.sh