WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
249611
[WPE][GTK] Remove redundant flags from make-dist script
https://bugs.webkit.org/show_bug.cgi?id=249611
Summary
[WPE][GTK] Remove redundant flags from make-dist script
Michael Catanzaro
Reported
2022-12-19 14:56:39 PST
The make-dist script still uses -DENABLE_GTKDOC, which has been removed and replaced with -DENABLE_DOCUMENTATION, which is ON by default and does not need to be specified manually. The script also still uses -DENABLE_MINIBROWSER=ON, which is nowadays ON by default.
Attachments
Add attachment
proposed patch, testcase, etc.
Michael Catanzaro
Comment 1
2022-12-19 15:13:17 PST
Pull request:
https://github.com/WebKit/WebKit/pull/7877
EWS
Comment 2
2022-12-20 11:52:25 PST
Committed
258152@main
(8aa9e80d3a36): <
https://commits.webkit.org/258152@main
> Reviewed commits have been landed. Closing PR #7877 and removing active labels.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug