diff options
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/Makefile b/tools/Makefile index efb38843f..67b54b096 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -17,17 +17,17 @@ $(TOOLS_BUILD_DIR): mkdir -p $(TOOLS_BUILD_DIR) %-download: - $(TRACE) "tools/$(patsubst %-download,%,$@)-download: " + $(TRACE) "tools/$(patsubst %-download,%,$@)/download " $(MAKE) -C $(patsubst %-download,%,$@) fetch %-compile: $(TOOLS_BUILD_DIR) - $(TRACE) "tools/$(patsubst %-compile,%,$@)-compile: " + $(TRACE) "tools/$(patsubst %-compile,%,$@)/compile " $(MAKE) -C $(patsubst %-compile,%,$@) compile %-install: - $(TRACE) "tools/$(patsubst %-install,%,$@)-install: " + $(TRACE) "tools/$(patsubst %-install,%,$@)/install " $(MAKE) -C $(patsubst %-install,%,$@) install %-clean: - $(TRACE) "tools/$(patsubst %-clean,%,$@)-clean: " + $(TRACE) "tools/$(patsubst %-clean,%,$@)/clean " $(MAKE) -C $(patsubst %-clean,%,$@) clean |