Title: [230048] trunk
- Revision
- 230048
- Author
- timothy_hor...@apple.com
- Date
- 2018-03-28 14:07:55 -0700 (Wed, 28 Mar 2018)
Log Message
Make it possible to disable building the tools with Make
https://bugs.webkit.org/show_bug.cgi?id=184109
Reviewed by Simon Fraser.
* Makefile:
Modified Paths
Diff
Modified: trunk/ChangeLog (230047 => 230048)
--- trunk/ChangeLog 2018-03-28 21:05:37 UTC (rev 230047)
+++ trunk/ChangeLog 2018-03-28 21:07:55 UTC (rev 230048)
@@ -1,3 +1,12 @@
+2018-03-28 Tim Horton <timothy_hor...@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 <cgar...@igalia.com>
[GTK][WPE] Add API to convert between DOM and JSCValue
Modified: trunk/Makefile (230047 => 230048)
--- trunk/Makefile 2018-03-28 21:05:37 UTC (rev 230047)
+++ trunk/Makefile 2018-03-28 21:07:55 UTC (rev 230048)
@@ -1,5 +1,11 @@
-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=$$?; \
if [ $$exit_status -ne 0 ]; then exit $$exit_status; fi; done
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes