aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 6ec19f8..25a7056 100644
--- a/Makefile
+++ b/Makefile
@@ -1255,6 +1255,11 @@ endif
$(foreach t, $(TARGET_DIRS), \
$(call print-help-run,$(t)/all,Build for $(t));) \
echo '')
+ @$(if $(TOOLS), \
+ echo 'Tools targets:'; \
+ $(foreach t, $(TOOLS), \
+ $(call print-help-run,$(t),Build $(shell basename $(t)) tool);) \
+ echo '')
@echo 'Cleaning targets:'
$(call print-help,clean,Remove most generated files but keep the config)
ifdef CONFIG_GCOV