commit 440000d3a72a98042ade805c5c0951aaa23b71f6
author Davide Pesavento <davidepesa@gmail.com> Tue Mar 25 15:50:12 2025 -0400
committer Davide Pesavento <davidepesa@gmail.com> Tue Mar 25 15:50:12 2025 -0400
tree c1d862677d3ed3f237ffab0735c5c0c6df4bcf5c
parent e34231e0786ab9486d0e6f663276bef2e59800b0

ci: use uv to install gcovr

Change-Id: I620db9dd1a85d8839a222f6a611f903d1b6c4058

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 830d3e8..7760261 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,8 +30,6 @@
 ./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