diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 10 |
1 files changed, 7 insertions, 3 deletions
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 # ----------------------------------------------------------------------------- |