Make it possible to disable building the tools with Make
authortimothy_horton@apple.com <timothy_horton@apple.com@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Wed, 28 Mar 2018 21:07:55 +0000 (21:07 +0000)
committertimothy_horton@apple.com <timothy_horton@apple.com@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Wed, 28 Mar 2018 21:07:55 +0000 (21:07 +0000)
https://bugs.webkit.org/show_bug.cgi?id=184109

Reviewed by Simon Fraser.

* Makefile:

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@230048 268f45cc-cd09-0410-ab3c-d52691b4dbfc

ChangeLog
Makefile

index 993b611..0fc31a4 100644 (file)
--- 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
index 1c57470..d30c90a 100644 (file)
--- 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=$$?; \