diff options
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index 513ecccb51..265c6aebf5 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -41,7 +41,7 @@ $(TOOL_HOST_INCLUDES): $(STAGING_DIR)/include-host/%.h: ./include/%.h $(TOOL_BUILD_DIR): @mkdir -p $@ -%-prereq %-download %-clean: FORCE +%-prereq %-download %-clean %-refresh: FORCE $(MAKE) -C $* $(patsubst $*-%,%,$@) %-prepare: $(TOOL_HOST_INCLUDES) $(TOOL_BUILD_DIR) FORCE |