WebKit Bugzilla
New
Browse
Search+
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
111813
[GTK] Remove media stream support from the configuration options
https://bugs.webkit.org/show_bug.cgi?id=111813
Summary
[GTK] Remove media stream support from the configuration options
Martin Robinson
Reported
2013-03-07 20:06:35 PST
Downstream users should really not be trying to use incomplete features.
Attachments
Patch
(4.30 KB, patch)
2013-03-08 00:46 PST
,
Zan Dobersek
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Carlos Garcia Campos
Comment 1
2013-03-07 23:43:53 PST
Is this the only one? We should remove/fix all configure options that don't build, and add to the distcheck arguments all configure options that are supposed to build and are not enabled by default.
Zan Dobersek
Comment 2
2013-03-08 00:27:59 PST
I honestly don't remember why I left out this option during the cleanup.
Zan Dobersek
Comment 3
2013-03-08 00:46:03 PST
Created
attachment 192169
[details]
Patch
Zan Dobersek
Comment 4
2013-03-08 02:08:33 PST
Comment on
attachment 192169
[details]
Patch Clearing flags on attachment: 192169 Committed
r145199
: <
http://trac.webkit.org/changeset/145199
>
Zan Dobersek
Comment 5
2013-03-08 02:08:40 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