| commit | baa5a9af116c5c30727539be8e6f23d3527c4dcb | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Fri Dec 02 23:25:52 2022 -0500 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Fri Dec 02 23:25:52 2022 -0500 |
| tree | c9966e7e228dc003469136d223c19eadfae71d87 | |
| parent | f8fe685fa4334456e24417372f229dd8de2f4b5d [diff] [blame] |
build: update waf to version 2.0.24 Change-Id: Ic53875985501c841b06dfbdb49f068d4359fd509
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