package/webkitgtk: fix build without WebDriver
authorAdrian Perez de Castro <aperez@igalia.com>
Tue, 8 Oct 2019 08:30:31 +0000 (11:30 +0300)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Tue, 8 Oct 2019 21:16:42 +0000 (23:16 +0200)
commitbd267c968ea6ac2b27c24aea0c21b4d15e8a8939
tree6f817980f91c46f2a369e3541c8958686324b164
parent223a5876e04bcf2e04e22af0b104bc9b5cedd184
package/webkitgtk: 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
WebKitGTK with ENABLE_WEBDRIVER=OFF.

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