diff --git a/Makefile b/Makefile
index ade36fb44f1..3c78ec3f92c 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