chore: preserve external COMMON_OPTIONS for non-Ninja builds (#7041)

2026-01-28 16:18:00 +10:00
parent 6b1cd88eff
commit 4a84ddbde5
1 changed files with 1 additions and 1 deletions
@@ -25,7 +25,7 @@ if [[ "$CMAKE_GENERATOR" == "Ninja" ]]; then
    QUIET_FLAGS="-- --quiet"
 else
    # Assume Makefile generator for non-Ninja builds
-    COMMON_OPTIONS="-DCMAKE_RULE_MESSAGES=OFF"
+    COMMON_OPTIONS="${COMMON_OPTIONS} -DCMAKE_RULE_MESSAGES=OFF"
 fi

 COMMON_OPTIONS="${COMMON_OPTIONS} -DCMAKE_BUILD_TYPE=Release -DCMAKE_MESSAGE_LOG_LEVEL=WARNING -Wno-dev -DGVARS=YES -DHELI=YES -DLUA=YES"