| commit | 2c61bad94442b4b3cf3f9816ef782af707d5f732 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Mon Aug 30 22:40:35 2021 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Mon Aug 30 22:40:35 2021 -0400 |
| tree | 8124708c4e5ee370bdaccd13a5c17cf4b363ea90 | |
| parent | 4d030c3896b1db6fa0b6cb04c4f1b20d95955038 [diff] [blame] |
ci: use gcovr 5.0 to generate code coverage reports Change-Id: Ib7284d1616f9bce527aa98ccbb32e58d0bfa9dfb
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