commit 50e20023cceba80730950a06aa572014da610e46
author Davide Pesavento <davide.pesavento@lip6.fr> Sat Sep 17 18:50:27 2016 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> Sat Sep 17 21:40:49 2016 +0200
tree 0242266c718442bfdcb87c56ff8bc41c82eaf7bd
parent 848a1e6f862b7940de5eba20e82c285ceee7d870

ci: enable AddressSanitizer for unit tests

Change-Id: Iddac2075fe27d57cb8bf5c13846cfb1deceadcdd
Refs: #2589

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index e86ced8..b6513be 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -32,8 +32,10 @@
 # Configure/build shared library in debug mode with tests/examples and without precompiled headers
 if [[ "$JOB_NAME" == *"code-coverage" ]]; then
     COVERAGE="--with-coverage"
+elif ! has OSX-10.9 $NODE_LABELS && ! has OSX-10.11 $NODE_LABELS; then
+    ASAN="--with-sanitizer=address"
 fi
-./waf -j1 --color=yes configure --disable-static --enable-shared --debug --with-tests --with-examples --without-pch $COVERAGE
+./waf -j1 --color=yes configure --disable-static --enable-shared --debug --with-tests --with-examples --without-pch $COVERAGE $ASAN
 ./waf -j1 --color=yes build
 
 # (tests will be run against debug version)