package/wpewebkit: fix build without WebDriver
authorAdrian Perez de Castro <aperez@igalia.com>
Tue, 8 Oct 2019 08:24:02 +0000 (11:24 +0300)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Tue, 8 Oct 2019 21:16:38 +0000 (23:16 +0200)
commit223a5876e04bcf2e04e22af0b104bc9b5cedd184
tree26bb47c8f1372a21efb9fed916ef777efbf71543
parent32a84bbf0248eeeb6601d0c75bad7653fbdaf1da
package/wpewebkit: fix build without WebDriver

Add "0002-WPE-GTK-Build-fails-with-ENABLE_WEBDRIVER-OFF.patch", which is
a slightly edited version of an upstream patch that fixes building WPE
WebKit with ENABLE_WEBDRIVER=OFF.

Signed-off-by: Adrian Perez de Castro <aperez@igalia.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
package/wpewebkit/0002-WPE-GTK-Build-fails-with-ENABLE_WEBDRIVER-OFF.patch [new file with mode: 0644]