Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 8aa9e80d3a3613d45c02eccdadcc8f5ed37adee0
https://github.com/WebKit/WebKit/commit/8aa9e80d3a3613d45c02eccdadcc8f5ed37adee0
Author: Michael Catanzaro <[email protected]>
Date: 2022-12-20 (Tue, 20 Dec 2022)
Changed paths:
M Tools/Scripts/make-dist
Log Message:
-----------
[WPE][GTK] Remove redundant flags from make-dist script
https://bugs.webkit.org/show_bug.cgi?id=249611
Reviewed by Carlos Garcia Campos and Carlos Alberto Lopez Perez.
The make-dist script still uses -DENABLE_GTKDOC, which has been
removed and replaced with -DENABLE_DOCUMENTATION, which is ON by
default. The script also still uses -DENABLE_MINIBROWSER, which is
nowadays ON by default.
* Tools/Scripts/make-dist:
Canonical link: https://commits.webkit.org/258152@main
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
