[Buildroot] [PATCH 1/1] package/webkitgtk: fix build without WebDriver

[Thomas Petazzoni]

On Tue,  8 Oct 2019 11:30:31 +0300
Adrian Perez de Castro <aperez at igalia.com> wrote:

> Add "0002-WPE-GTK-Build-fails-with-ENABLE_WEBDRIVER-OFF.patch", which is
> a slightly edited version of an upstream patch that fixes building
> WebKitGTK with ENABLE_WEBDRIVER=OFF.
> 
> Signed-off-by: Adrian Perez de Castro <aperez at igalia.com>
> ---
>  ...uild-fails-with-ENABLE_WEBDRIVER-OFF.patch | 55 +++++++++++++++++++
>  1 file changed, 55 insertions(+)
>  create mode 100644 package/webkitgtk/0002-WPE-GTK-Build-fails-with-ENABLE_WEBDRIVER-OFF.patch

Applied to master, thanks.

Thomas
-- 
Thomas Petazzoni, CTO, Bootlin
Embedded Linux and Kernel engineering
https://bootlin.com