commit 525c1071b1ef2d012b832b6b160992f732c5a721
author Davide Pesavento <davide.pesavento@lip6.fr> Thu Sep 01 12:21:27 2016 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> Sat Sep 17 18:43:14 2016 +0200
tree 101e3516afa0df73592876d79f97dd6e52399f96
parent 013de9bc8609fd227caad62b330df1352447ffd8

ci: enable AddressSanitizer for unit tests

Change-Id: Iffd1f16938c77ccbe03bec776ccee3206b5e68aa
Refs: #2589

.jenkins.d/20-build.sh

diff --git a/.jenkins.d/20-build.sh b/.jenkins.d/20-build.sh
index e3bb195..d96c4bd 100755
--- a/.jenkins.d/20-build.sh
+++ b/.jenkins.d/20-build.sh
@@ -2,6 +2,9 @@
 set -x
 set -e
 
+JDIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+source "$JDIR"/util.sh
+
 # Cleanup
 sudo ./waf -j1 --color=yes distclean
 
@@ -13,5 +16,12 @@
 sudo ./waf -j1 --color=yes distclean
 
 # Configure/build in debug mode with tests
-./waf -j1 --color=yes configure --with-tests --debug
+if [[ "$JOB_NAME" == *"code-coverage" ]]; then
+    COVERAGE="" # TODO add code coverage support
+elif ! has OSX-10.9 $NODE_LABELS && ! has OSX-10.11 $NODE_LABELS; then
+    ASAN="--with-sanitizer=address"
+fi
+./waf -j1 --color=yes configure --debug --with-tests $COVERAGE $ASAN
 ./waf -j1 --color=yes build
+
+# (tests will be run against debug version)