diff --git a/Makefile b/Makefile
index fec284d0727..818128e8d73 100644
--- a/Makefile
+++ b/Makefile
@@ -13,7 +13,7 @@ ifeq ($(MAKECMDGOALS),tools-only)
 DIRS += tools
 else
   ifneq ($(MAKECMDGOALS),libs-only)
-    DIRS += runtime docs
+    DIRS += tools runtime docs
     OPTIONAL_DIRS = examples projects
   endif
 endif