diff --git a/GNUmakefile b/GNUmakefile index 1ad7cc4fc27..2cd2c1a7443 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -230,11 +230,15 @@ endif # ----------------------------------------------------------------------------- # build tool -ifneq "$(findstring ninja, $(MAKECMDGOALS))" "" - BUILD_COMMAND:=ninja +ifeq "$(findstring ninja, $(MAKECMDGOALS))" "" BUILD_CMAKE_ARGS:=$(BUILD_CMAKE_ARGS) -G Ninja + BUILD_COMMAND:=ninja else - BUILD_COMMAND:=make -s + ifneq ("$(wildcard $(BUILD_DIR)/build.ninja)","") + BUILD_COMMAND:=ninja + else + BUILD_COMMAND:=make -s + endif endif # -----------------------------------------------------------------------------