commit b9792ddbff656decabec498d37b61d2db3c3691e
author Davide Pesavento <davidepesa@gmail.com> Tue Mar 25 02:18:45 2025 -0400
committer Davide Pesavento <davidepesa@gmail.com> Tue Mar 25 02:18:45 2025 -0400
tree f40746ab8948a986d6051096be02552dbbd4f076
parent e11fa9a0175bea38c35899c3d4d901928c49fb50

ci: use uv to install gcovr and sphinx

Change-Id: If41dc0b522c70f462b62c34f54c40f73c39565b1

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index f0910cf..7d1de89 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 and without precompiled headers
     ./waf --color=yes configure --with-tests --without-pch
     ./waf --color=yes build