Hi, On Thu, 01 Nov 2018 12:03:16 +0200, Claudio Saavedra <csaave...@igalia.com> wrote: > I tried to build WebKit from git with your build parameters. Build with > VIDEO and WEB_AUDIO disabled is currently broken. I submitted a patch > to https://bugs.webkit.org/show_bug.cgi?id=191147 but I'm not sure if > it will be backported to the stable branch, so you can fetch it and try > it.
The fixes for building with the multimedia support disabled have been backported to the stable release branch [1][2] and the issue will be fixed in WebKitGTK+ 2.22.4 — Thanks for reporting it, and to Claudio for the quick fix :) Cheers, -Adrián --- [1] https://trac.webkit.org/changeset/237689/webkit/releases/WebKitGTK/webkit-2.22 [2] https://trac.webkit.org/changeset/237690/webkit/releases/WebKitGTK/webkit-2.22
pgpPfVoByM2pX.pgp
Description: PGP signature
_______________________________________________ webkit-gtk mailing list webkit-gtk@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-gtk