diff options
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/tools/Makefile b/tools/Makefile index 31b0becc38..513ecccb51 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -32,10 +32,11 @@ endif $(STAMP): $(TOPDIR)/.config mkdir -p $(shell dirname $@) touch $@ - -$(STAGING_DIR)/include-host: - @mkdir -p $@ - @$(CP) ./include/*.h $@/ + +TOOL_HOST_INCLUDES:=$(patsubst ./include/%.h,$(STAGING_DIR)/include-host/%.h,$(wildcard ./include/*.h)) +$(TOOL_HOST_INCLUDES): $(STAGING_DIR)/include-host/%.h: ./include/%.h + @mkdir -p $(STAGING_DIR)/include-host + $(CP) $< $@ $(TOOL_BUILD_DIR): @mkdir -p $@ @@ -43,7 +44,7 @@ $(TOOL_BUILD_DIR): %-prereq %-download %-clean: FORCE $(MAKE) -C $* $(patsubst $*-%,%,$@) -%-prepare: $(STAGING_DIR)/include-host $(TOOL_BUILD_DIR) FORCE +%-prepare: $(TOOL_HOST_INCLUDES) $(TOOL_BUILD_DIR) FORCE $(MAKE) -C $* $(patsubst $*-%,%,$@) %-compile: %-prepare FORCE |