diff options
Diffstat (limited to 'tools/Makefile')
-rw-r--r-- | tools/Makefile | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/tools/Makefile b/tools/Makefile index b828f6765..5d0f91872 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -12,13 +12,6 @@ compile: install: $(TARGETS_INSTALL) clean: $(TARGETS_CLEAN) -$(TOOLS_BUILD_DIR): - mkdir -p $(TOOLS_BUILD_DIR) - -%-download: - $(TRACE) "tools/$(patsubst %-download,%,$@)/download " - $(MAKE) -C $(patsubst %-download,%,$@) fetch - %-compile: $(TOOLS_BUILD_DIR) $(TRACE) "tools/$(patsubst %-compile,%,$@)/compile " $(MAKE) -C $(patsubst %-compile,%,$@) compile |