diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/Makefile b/tools/Makefile index 3a158b839..8bf118641 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -15,11 +15,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 " |