From f0fe3f992d05ab40a9ea3fcad0bddabb7b3db514 Mon Sep 17 00:00:00 2001 From: yopito Date: Thu, 5 Oct 2017 08:40:30 +0200 Subject: [PATCH] webkit2gtk: fix header location --- .../webkit2gtk/patches/fix-header-location.patch | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 srcpkgs/webkit2gtk/patches/fix-header-location.patch diff --git a/srcpkgs/webkit2gtk/patches/fix-header-location.patch b/srcpkgs/webkit2gtk/patches/fix-header-location.patch new file mode 100644 index 00000000000..2756d579321 --- /dev/null +++ b/srcpkgs/webkit2gtk/patches/fix-header-location.patch @@ -0,0 +1,14 @@ +fix header file location. +source: https://bugs.webkit.org/show_bug.cgi?id=176983 + +--- Source/WebCore/platform/graphics/cairo/BackingStoreBackendCairoImpl.h.ORIG ++++ Source/WebCore/platform/graphics/cairo/BackingStoreBackendCairoImpl.h +@@ -20,7 +20,7 @@ + + #if USE(CAIRO) + #include "BackingStoreBackendCairo.h" +-#include ++#include + + namespace WebCore { +