commit 043c50147cd9cc4cc25de1f70cf45928ce712b3e
author Davide Pesavento <davide.pesavento@lip6.fr> Mon Sep 19 17:23:32 2016 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> Mon Sep 19 17:23:32 2016 +0000
tree b34f17a1548954cb13b083cc461e3eea2ad779c5
parent e94804bd48628672b61a81cf1c3825e788ab5beb

ci: enable AddressSanitizer for unit tests

Change-Id: Iaf4c24f7e6f79d2915bf8ef78cff398876091c73
Refs: #2589

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 3c975e0..5b13951 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -32,8 +32,10 @@
 # Configure/build in debug mode with tests 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 --debug --with-tests --without-pch $COVERAGE
+./waf -j1 --color=yes configure --debug --with-tests --without-pch $COVERAGE $ASAN
 ./waf -j1 --color=yes build
 
 # (tests will be run against debug version)