diff options
| -rw-r--r-- | tools/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/Makefile b/tools/Makefile index 5d0f91872..03441e7a7 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -14,11 +14,11 @@ clean: $(TARGETS_CLEAN) %-compile: $(TOOLS_BUILD_DIR) $(TRACE) "tools/$(patsubst %-compile,%,$@)/compile " - $(MAKE) -C $(patsubst %-compile,%,$@) compile + $(MAKE) -C $(patsubst %-compile,%,$@) compile $(MAKE_TRACE) %-install: $(TRACE) "tools/$(patsubst %-install,%,$@)/install " - $(MAKE) -C $(patsubst %-install,%,$@) install + $(MAKE) -C $(patsubst %-install,%,$@) install $(MAKE_TRACE) %-clean: $(TRACE) "tools/$(patsubst %-clean,%,$@)/clean " |