Summary: | webkit-gtk-1.8.0 fails to build with --disable-video in DerivedSources/webkit/WebKitDOMHTMLMediaElement.cpp | ||||||
---|---|---|---|---|---|---|---|
Product: | WebKit | Reporter: | Alexandre Rostovtsev <tetromino> | ||||
Component: | WebKitGTK | Assignee: | Nobody <webkit-unassigned> | ||||
Status: | RESOLVED FIXED | ||||||
Severity: | Normal | CC: | abarth, berto, gnome, haraken, japhet, webkit.review.bot | ||||
Priority: | P2 | ||||||
Version: | 528+ (Nightly build) | ||||||
Hardware: | Unspecified | ||||||
OS: | Unspecified | ||||||
Attachments: |
|
Description
Alexandre Rostovtsev
2012-04-21 02:29:29 PDT
Created attachment 139350 [details]
Simple patch for CodeGeneratorGObject.pm
(In reply to comment #1) > Created an attachment (id=139350) [details] > Simple patch for CodeGeneratorGObject.pm Thanks, that fixes the build failure. There's a problem now since disabling VIDEO also requires to disable VIDEO_TRACK (I filed bug 121259 about that problem). But otherwise the issue described here is no longer present, so I'm closing this bug. |