WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
192008
[GTK][WPE] Remove temporary workaround in Source/WebKit/Platform*.cmake
https://bugs.webkit.org/show_bug.cgi?id=192008
Summary
[GTK][WPE] Remove temporary workaround in Source/WebKit/Platform*.cmake
Tomas Popela
Reported
2018-11-27 07:02:18 PST
There is a workaround in Source/WebKit/Platform*.cmake that was added in
https://trac.webkit.org/changeset/223574
: # Temporary workaround to allow the build to succeed. file(REMOVE "${FORWARDING_HEADERS_DIR}/WebCore/Settings.h") Looks like it's not needed anymore as the WebKit compiles fine without it.
Attachments
Patch
(2.10 KB, patch)
2018-11-27 07:05 PST
,
Tomas Popela
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Tomas Popela
Comment 1
2018-11-27 07:05:03 PST
Created
attachment 355730
[details]
Patch
Tomas Popela
Comment 2
2018-11-27 07:30:00 PST
Comment on
attachment 355730
[details]
Patch Clearing flags on attachment: 355730 Committed
r238552
: <
https://trac.webkit.org/changeset/238552
>
Tomas Popela
Comment 3
2018-11-27 07:30:05 PST
All reviewed patches have been landed. Closing bug.
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