1 files changed, 3 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index ade36fb44f..3c78ec3f92 100644
--- a/Makefile
+++ b/Makefile
@@ -22,6 +22,9 @@ distclean:: clean
 	                  $(LEVEL)/config.log \
 	                  $(LEVEL)/TAGS
 
+tools-only:
+	@for dir in lib/Support utils lib tools; do $(MAKE) -C $$dir; done
+
 AUTOCONF = autoconf
 AUTOHEADER = autoheader