From bd52bed3a43126a83f5cc4d1aba462c6cc85d9de Mon Sep 17 00:00:00 2001 From: Francois Perrad Date: Tue, 25 Dec 2018 09:00:08 +0100 Subject: [PATCH] package/webkitgtk: remove an old workaround fixed upstream by https://trac.webkit.org/changeset/220007/webkit Signed-off-by: Francois Perrad Acked-by: Adrian Perez de Castro Signed-off-by: Thomas Petazzoni --- package/webkitgtk/webkitgtk.mk | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/package/webkitgtk/webkitgtk.mk b/package/webkitgtk/webkitgtk.mk index f86c073d65..9a1b392bb5 100644 --- a/package/webkitgtk/webkitgtk.mk +++ b/package/webkitgtk/webkitgtk.mk @@ -39,13 +39,9 @@ WEBKITGTK_CONF_OPTS += \ -DENABLE_WEB_AUDIO=ON WEBKITGTK_DEPENDENCIES += gstreamer1 gst1-libav gst1-plugins-base gst1-plugins-good else -# ENABLE_MEDIA_STREAM has to be explicitly disabled because there is a missing -# feature dependency in the WebKitGTK+ CMake files. This can be removed once -# https://bugs.webkit.org/show_bug.cgi?id=174940 makes it into a release. WEBKITGTK_CONF_OPTS += \ -DENABLE_VIDEO=OFF \ - -DENABLE_WEB_AUDIO=OFF \ - -DENABLE_MEDIA_STREAM=OFF + -DENABLE_WEB_AUDIO=OFF endif ifeq ($(BR2_PACKAGE_WEBKITGTK_WEBDRIVER),y) -- 2.30.2