RESOLVED FIXED 191223
[WPE][GTK] Expose ENABLE_MEDIA_SOURCE as public option 
https://bugs.webkit.org/show_bug.cgi?id=191223
Summary [WPE][GTK] Expose ENABLE_MEDIA_SOURCE as public option
Michael Catanzaro
Reported 2018-11-02 19:49:49 PDT
Since we need to support old versions of GStreamer, and that requires disabling ENABLE_MEDIA_SOURCE, we should expose it as a public option. It's pretty weird to tell users that they need to disable a secret hidden option in order to build WebKit.
Attachments
Patch (1.43 KB, patch)
2018-11-02 22:10 PDT, Michael Catanzaro 		no flags
DetailsFormatted DiffDiff
Patch (1.42 KB, patch)
2018-11-02 22:19 PDT, Michael Catanzaro 		no flags
DetailsFormatted DiffDiff
Show Obsolete (1) View All Add attachment proposed patch, testcase, etc.
Michael Catanzaro
Comment 1 2018-11-02 22:10:33 PDT
Created attachment 353763 [details] Patch
Michael Catanzaro
Comment 2 2018-11-02 22:19:16 PDT
Created attachment 353764 [details] Patch
Xabier Rodríguez Calvar
Comment 3 2018-11-04 23:38:34 PST
Comment on attachment 353764 [details] Patch IMHO, what was weird was that this was private in the first place.
WebKit Commit Bot
Comment 4 2018-11-05 00:03:37 PST
Comment on attachment 353764 [details] Patch Clearing flags on attachment: 353764 Committed r237791: <https://trac.webkit.org/changeset/237791>
WebKit Commit Bot
Comment 5 2018-11-05 00:03:39 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.