Make it possible to disable building the tools with Make

hortont424 · hortont424 · commit a216a29fc3eb · 2018-03-28T21:07:55.000Z
https://bugs.webkit.org/show_bug.cgi?id=184109 Reviewed by Simon Fraser. * Makefile: Canonical link: https://commits.webkit.org/199679@main git-svn-id: https://svn.webkit.org/repository/webkit/trunk@230048 268f45cc-cd09-0410-ab3c-d52691b4dbfc
diff --git a/ChangeLog b/ChangeLog
@@ -1,3 +1,12 @@
+2018-03-28  Tim Horton  <timothy_horton@apple.com>
+
+        Make it possible to disable building the tools with Make
+        https://bugs.webkit.org/show_bug.cgi?id=184109
+
+        Reviewed by Simon Fraser.
+
+        * Makefile:
+
 2018-03-25  Carlos Garcia Campos  <cgarcia@igalia.com>
 
         [GTK][WPE] Add API to convert between DOM and JSCValue
diff --git a/Makefile b/Makefile
@@ -1,4 +1,10 @@
-MODULES = WebKitLibraries Source Tools
+TOOLS_MODULE = Tools
+
+ifneq (,$(DISABLE_WEBKIT_TOOLS))
+	TOOLS_MODULE =
+endif
+
+MODULES = WebKitLibraries Source $(TOOLS_MODULE)
 
 all:
 	@for dir in $(MODULES); do ${MAKE} $@ -C $$dir; exit_status=$$?; \
