build: update waf to version 2.0.24

Change-Id: Ib4c2354d8eb4372a5f6f34c81b1f626fa5988466
2022-12-02 17:20:54 -05:00
parent cda4489045
commit 535b51d6fe
2 changed files with 13 additions and 9 deletions
@@ -26,7 +26,11 @@ case $(uname) in
 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