| commit | bd267c968ea6ac2b27c24aea0c21b4d15e8a8939 | [log] [tgz] |
|---|---|---|
| author | Adrian Perez de Castro <aperez@igalia.com> | Tue Oct 08 11:30:31 2019 +0300 |
| committer | Thomas Petazzoni <thomas.petazzoni@bootlin.com> | Tue Oct 08 23:16:42 2019 +0200 |
| tree | 6f817980f91c46f2a369e3541c8958686324b164 | |
| parent | 223a5876e04bcf2e04e22af0b104bc9b5cedd184 [diff] |
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>