| commit | 535b51d6fe949bc9ce110ebdf883b95755671ba6 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Fri Dec 02 17:20:54 2022 -0500 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Fri Dec 02 17:20:54 2022 -0500 |
| tree | 5841bf285d5833b684c765ce470aed55c7ae763e | |
| parent | cda44890458ff812043dc1d73b2a375cb8e313b3 [diff] [blame] |
build: update waf to version 2.0.24 Change-Id: Ib4c2354d8eb4372a5f6f34c81b1f626fa5988466
diff --git a/.jenkins b/.jenkins index 52b94c5..0f40e00 100755 --- a/.jenkins +++ b/.jenkins
@@ -26,7 +26,11 @@ esac export CACHE_DIR=${CACHE_DIR:-/tmp} -[[ $JOB_NAME == *"code-coverage" ]] && export DISABLE_ASAN=yes + +if [[ $JOB_NAME == *"code-coverage" ]]; then + export DISABLE_ASAN=yes + export DISABLE_HEADERS_CHECK=yes +fi for file in .jenkins.d/*; do [[ -f $file && -x $file ]] || continue