diff options
Diffstat (limited to 'include/kernel.mk')
| -rw-r--r-- | include/kernel.mk | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/include/kernel.mk b/include/kernel.mk index 2721c83d8e..4e66c0c76f 100644 --- a/include/kernel.mk +++ b/include/kernel.mk @@ -5,8 +5,15 @@ # See /LICENSE for more information. # +ifneq ($(filter check,$(MAKECMDGOALS)),) +CHECK:=1 +DUMP:=1 +endif + ifeq ($(__target_inc),) - include $(INCLUDE_DIR)/target.mk + ifndef CHECK + include $(INCLUDE_DIR)/target.mk + endif endif ifeq ($(DUMP),1) |