ci: sync with ndn-tools
Change-Id: I213e160a1f3f01acef23982ddf5d4f458ea0a9eb
diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index e17cdcf..c2204fb 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