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"