From f88d0a7d546f4a77b696aa4433f2e98fc9b1d255 Mon Sep 17 00:00:00 2001
From: Peter Barker <pbarker@barker.dropbear.id.au>
Date: Tue, 5 Mar 2024 17:09:12 +1100
Subject: [PATCH] build_ci.sh: do a test build with HAL_LOGGING_ENABLED false

---
 Tools/scripts/build_ci.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Tools/scripts/build_ci.sh b/Tools/scripts/build_ci.sh
index f45383f6ab..c920cc2920 100755
--- a/Tools/scripts/build_ci.sh
+++ b/Tools/scripts/build_ci.sh
@@ -466,6 +466,13 @@ for t in $CI_BUILD_TARGET; do
              --no-enable-in-turn \
              --build-targets=copter \
              --build-targets=plane
+        echo "Checking building with logging disabled works"
+        echo "define HAL_LOGGING_ENABLED 0" >/tmp/extra.hwdef
+        time ./waf configure \
+             --board=CubeOrange \
+             --extra-hwdef=/tmp/extra.hwdef
+        time ./waf plane
+        time ./waf copter
         continue
     fi