diff --git a/makefiles/kconfig.mk b/makefiles/kconfig.mk index 02b2c6e249..98e41753fb 100644 --- a/makefiles/kconfig.mk +++ b/makefiles/kconfig.mk @@ -67,7 +67,7 @@ $(GENERATED_DIR): $(CLEAN) # configuration via Kconfig is disabled by default). Should this change, the # check would not longer be valid, and Kconfig would have to run on every # build. -SHOULD_RUN_KCONFIG := $(or $(wildcard $(APPDIR)/*.config), $(wildcard $(APPDIR)/Kconfig), $(wildcard $(KCONFIG_MERGED_CONFIG)), $(filter menuconfig, $(MAKECMDGOALS))) +SHOULD_RUN_KCONFIG ?= $(or $(wildcard $(APPDIR)/*.config), $(wildcard $(APPDIR)/Kconfig), $(wildcard $(KCONFIG_MERGED_CONFIG)), $(filter menuconfig, $(MAKECMDGOALS))) ifneq (,$(SHOULD_RUN_KCONFIG)) # Add configuration header to build dependencies