[Webkit-unassigned] [Bug 180256] New: [GStreamer] Fix USE_GSTREAMER_GL check for GStreamer 1.10

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=180256

            Bug ID: 180256
           Summary: [GStreamer] Fix USE_GSTREAMER_GL check for GStreamer
                    1.10
           Product: WebKit
           Version: Other
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: WebKit Gtk
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: mcatanzaro at igalia.com
                CC: bugs-noreply at webkitgtk.org

It's not safe to change the value of build options after WEBKIT_OPTION_END, since it breaks the option dependency checker. I don't think that actually hurts anything in this case, but let's not encourage bad practice. Also, it's not good for features to be silently disabled. Failing the build at the CMake stage lets distributors know that a feature will be missing. And of course, it's still possible to disable USE_GSTREAMER_GL to avoid the increased GStreamer requirement.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20171201/a21a5cde/attachment.html>