commit d5c2447b3a4d0778388ebf914fd905c6ab9791ba
author Davide Pesavento <davidepesa@gmail.com> Wed Apr 01 17:46:18 2020 -0400
committer Davide Pesavento <davidepesa@gmail.com> Wed Apr 01 18:28:51 2020 -0400
tree eb2e81c8599e4084976b275f897a8f7b0c388d7b
parent fce3963fc07722ccefd13bd3012d25c6e5086653

ci: build ndn-cxx with AddressSanitizer

Change-Id: I706ab29efe61c17511b87b477151d9a2a8e055bc

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index f5ef90a..2a60f0d 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -4,10 +4,11 @@
 git submodule sync
 git submodule update --init
 
+if [[ -z $DISABLE_ASAN ]]; then
+    ASAN="--with-sanitizer=address"
+fi
 if [[ $JOB_NAME == *"code-coverage" ]]; then
     COVERAGE="--with-coverage"
-elif [[ -z $DISABLE_ASAN ]]; then
-    ASAN="--with-sanitizer=address"
 fi
 
 if [[ $JOB_NAME != *"code-coverage" && $JOB_NAME != *"limited-build" ]]; then