| commit | 8c35390e61dd1ebe9f5b429165df11960a416324 | [log] [tgz] |
|---|---|---|
| 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 [diff] [blame] |
ci: use gcovr 5.0 to generate code coverage reports Change-Id: I680b476bb93cffff389071437e7a818f16b6334d
diff --git a/.jenkins b/.jenkins index 1a12b6c..21cce49 100755 --- a/.jenkins +++ b/.jenkins
@@ -2,6 +2,9 @@ set -e source .jenkins.d/util.sh +if has Linux $NODE_LABELS; then + export PATH="~/.local/bin${PATH:+:}${PATH}" +fi export CACHE_DIR=${CACHE_DIR:-/tmp} export WAF_JOBS=${WAF_JOBS:-1} [[ $JOB_NAME == *"code-coverage" ]] && export DISABLE_ASAN=yes