From 4a84ddbde5966e7c80efa3a217f94b2dade6c99d Mon Sep 17 00:00:00 2001 From: Jan Pazdziora Date: Wed, 28 Jan 2026 07:18:00 +0100 Subject: [PATCH] chore: preserve external COMMON_OPTIONS for non-Ninja builds (#7041) --- tools/build-companion.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/build-companion.sh b/tools/build-companion.sh index 434452510..d01229455 100755 --- a/tools/build-companion.sh +++ b/tools/build-companion.sh @@ -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"