build: update waf to version 2.0.24

Change-Id: I3b7226af85fa686d33866899a9c2e487313fc842
2022-12-02 20:36:32 -05:00
parent 737f2de0bd
commit 59f6fabe50
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