aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 7146bfbef5..57cbeb5fa9 100644
--- a/Makefile
+++ b/Makefile
@@ -8,10 +8,10 @@
##===----------------------------------------------------------------------===##
LEVEL = .
DIRS = lib/Support utils lib tools
-OPTIONAL_DIRS = projects
ifneq ($(MAKECMDGOALS),tools-only)
DIRS += runtime
+OPTIONAL_DIRS = projects
endif
include $(LEVEL)/Makefile.common