commit 679c42acae7d0e7509e9dc66038340e0d9ddcf21
author Davide Pesavento <davidepesa@gmail.com> Tue Mar 25 20:50:03 2025 -0400
committer Davide Pesavento <davidepesa@gmail.com> Tue Mar 25 20:50:03 2025 -0400
tree a7a9203556afee894783c9f92aba9086363f26c2
parent 5ca40bb5d2d57ecbb9b291a42c7a87ae7fe3ec45

build+ci: sync with ndn-cxx

Change-Id: Iff3ad63469eccb47571ba4abd3d42936f0cd8650

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 199ed20..9cc4c78 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -4,13 +4,13 @@
 if [[ -z $DISABLE_ASAN ]]; then
     ASAN="--with-sanitizer=address"
 fi
-if [[ $JOB_NAME == *"code-coverage" ]]; then
+if [[ $JOB_NAME == *code-coverage ]]; then
     COVERAGE="--with-coverage"
 fi
 
 set -x
 
-if [[ $JOB_NAME != *"code-coverage" && $JOB_NAME != *"limited-build" ]]; then
+if [[ $JOB_NAME != *code-coverage && $JOB_NAME != *limited-build ]]; then
     # Build in release mode with tests
     ./waf --color=yes configure --with-tests
     ./waf --color=yes build
@@ -30,7 +30,5 @@
 ./waf --color=yes configure --debug --with-tests $ASAN $COVERAGE
 ./waf --color=yes build
 
-# (tests will be run against the debug version)
-
 # Install
 sudo ./waf --color=yes install