summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--tools/Makefile4
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 "