package/webkitgtk: remove an old workaround
authorFrancois Perrad <fperrad@gmail.com>
Tue, 25 Dec 2018 08:00:08 +0000 (09:00 +0100)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Wed, 26 Dec 2018 14:11:02 +0000 (15:11 +0100)
fixed upstream by https://trac.webkit.org/changeset/220007/webkit

Signed-off-by: Francois Perrad <francois.perrad@gadz.org>
Acked-by: Adrian Perez de Castro <aperez@igalia.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
package/webkitgtk/webkitgtk.mk

index f86c073d65b0a5eecfecababc72219a9069ef154..9a1b392bb5ec6bc383f34632a41b80b7e999987d 100644 (file)
@@ -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)