WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
114736
media-stream and xslt are no longer configurable options in the GTK+ port
https://bugs.webkit.org/show_bug.cgi?id=114736
Summary
media-stream and xslt are no longer configurable options in the GTK+ port
Alberto Garcia
Reported
2013-04-17 06:02:09 PDT
media-stream support was removed in
r145199
and XSLT is a hard requirement since
r145859
, but the build-webkit script still attempts to pass those options to configure, which results in the following warning: configure: WARNING: unrecognized options: --disable-media-stream, --enable-xslt
Attachments
Patch
(1.29 KB, patch)
2013-04-17 06:03 PDT
,
Alberto Garcia
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Alberto Garcia
Comment 1
2013-04-17 06:03:46 PDT
Created
attachment 198501
[details]
Patch
Martin Robinson
Comment 2
2013-04-17 07:45:06 PDT
Comment on
attachment 198501
[details]
Patch Thanks!
WebKit Commit Bot
Comment 3
2013-04-17 09:14:02 PDT
Comment on
attachment 198501
[details]
Patch Clearing flags on attachment: 198501 Committed
r148615
: <
http://trac.webkit.org/changeset/148615
>
WebKit Commit Bot
Comment 4
2013-04-17 09:14:04 PDT
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