commit 8c35390e61dd1ebe9f5b429165df11960a416324
author Davide Pesavento <davidepesa@gmail.com> Mon Aug 30 19:10:36 2021 -0400
committer Davide Pesavento <davidepesa@gmail.com> Mon Aug 30 19:10:36 2021 -0400
tree 54e28766dd5d0cb1e5d82e07596f4556898d2601
parent c4343232bc03d101da57aa807bc1bd961f74c400

ci: use gcovr 5.0 to generate code coverage reports

Change-Id: I680b476bb93cffff389071437e7a818f16b6334d

.jenkins.d/00-deps.sh

diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh
index 3faaf09..304a19a 100755
--- a/.jenkins.d/00-deps.sh
+++ b/.jenkins.d/00-deps.sh
@@ -35,7 +35,8 @@
 
     case $JOB_NAME in
         *code-coverage)
-            sudo apt-get -qy install gcovr lcov
+            sudo apt-get -qy install lcov python3-pip
+            pip3 install --user --upgrade --upgrade-strategy=eager 'gcovr~=5.0'
             ;;
         *Docs)
             sudo apt-get -qy install python3-pip