commit 2e56ec0b2d5e7fc111b88e09bc2328f1f67e66db
author Davide Pesavento <davidepesa@gmail.com> Tue Mar 25 00:32:31 2025 -0400
committer Davide Pesavento <davidepesa@gmail.com> Tue Mar 25 00:32:31 2025 -0400
tree ba03146afeb2094c02c9733b93f6751de3d7a94c
parent 3902611bb539f879886b076e531dd7816a4d87d4

ci: sync with ndn-cxx

Change-Id: I1edff3e93a61da8bb4f9cfbb6b637ac9319750aa

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 830d3e8..a53242d 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