commit 187e065a78bafd246efb39548684216c580723bc
author Davide Pesavento <davidepesa@gmail.com> Tue Mar 25 02:02:14 2025 -0400
committer Davide Pesavento <davidepesa@gmail.com> Tue Mar 25 02:02:14 2025 -0400
tree 539aad55199793a2485c2de4282c8fa6503c8fb4
parent 35488926c74fdb965900e4f0a7cbc0016f085185

ci: use uv to install gcovr and sphinx

Change-Id: Ic62e62af43921f915fd07aea0d8e68d6ff153d88

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index e6e505d..47fd2a8 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -4,7 +4,7 @@
 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
 if [[ $ID == debian && ${VERSION_ID%%.*} -eq 11 ]]; then
@@ -13,7 +13,7 @@
 
 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