diff options
author | Adrián Pérez de Castro <aperez@igalia.com> | 2017-07-29 16:18:44 +0300 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2017-07-29 15:34:35 +0200 |
commit | 9aceb8bfa8c39167b1c449301b7f00f16e4f816c (patch) | |
tree | b68a0e33aea92b86590d983ff8e9eab22d3cd5be /package/jquery-ui | |
parent | 3e4efb30f3bf96cad33e2f8982d469803dded145 (diff) | |
download | buildroot-9aceb8bfa8c39167b1c449301b7f00f16e4f816c.tar.gz buildroot-9aceb8bfa8c39167b1c449301b7f00f16e4f816c.zip |
webkitgtk: Allow building with BR2_PACKAGE_WEBKITGTK_MULTIMEDIA disabled
Explicitly pass "-DENABLE_MEDIA_STREAM=OFF" to CMake, to workaround a
missing feature dependency in the WebKitGTK+ build files.
Related upstream bug: https://bugs.webkit.org/show_bug.cgi?id=174940
Signed-off-by: Adrian Perez de Castro <aperez@igalia.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'package/jquery-ui')
0 files changed, 0 insertions, 0 deletions