| commit | 6b78a53cf75d01a7223d6adcd5a239c2a8ea2192 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Fri Dec 02 18:24:16 2022 -0500 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Fri Dec 02 18:24:16 2022 -0500 |
| tree | d1c49777e7a3c57449a1f3216d5596cfe8d22589 | |
| parent | a68af8129e282a8f8aa2ec4edeac8d90ed59e3f9 [diff] [blame] |
build: update waf to version 2.0.24 Change-Id: I57b597fb5933e46b55979ad6b1a62a7fd40c645d
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