* commit 'bc195b36d7fa0cbd35d12449d37f8aefb60ea946': Use $(OUT_DIR)/ninja_build to mark ninja build.
This commit is contained in:
commit
58de128998
1 changed files with 6 additions and 0 deletions
|
@ -93,8 +93,14 @@ include $(BUILD_SYSTEM)/help.mk
|
|||
include $(BUILD_SYSTEM)/config.mk
|
||||
|
||||
ifeq ($(USE_NINJA),true)
|
||||
# Mark this is a ninja build.
|
||||
$(shell mkdir -p $(OUT_DIR) && touch $(OUT_DIR)/ninja_build)
|
||||
include build/core/ninja.mk
|
||||
else # !USE_NINJA
|
||||
ifeq ($(MAKELEVEL),0)
|
||||
# Remove ninja build mark if it exists.
|
||||
$(shell rm -f $(OUT_DIR)/ninja_build)
|
||||
endif
|
||||
|
||||
# Write the build number to a file so it can be read back in
|
||||
# without changing the command line every time. Avoids rebuilds
|
||||
|
|
Loading…
Reference in a new issue