diff options
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/Makefile b/tools/Makefile index 4bfe4af907..6915ea7a05 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -145,4 +145,5 @@ $(curdir)//install = $(1)/compile tools_enabled = $(foreach tool,$(sort $(tools-y) $(tools-)),$(if $(filter $(tool),$(tools-y)),y,n)) $(eval $(call stampfile,$(curdir),tools,install,,_$(subst $(space),,$(tools_enabled)))) +$(eval $(call stampfile,$(curdir),tools,check,$(TMP_DIR)/.build)) $(eval $(call subdir,$(curdir))) |