extra/webkit2gtk: removed patch for gir generation

1 files changed, 0 insertions, 10 deletions

diff --git a/extra/webkit2gtk/PKGBUILD b/extra/webkit2gtk/PKGBUILD
index 8c57f8cb..396ada76 100644
--- a/extra/webkit2gtk/PKGBUILD
+++ b/extra/webkit2gtk/PKGBUILD
@@ -28,13 +28,3 @@ eval "$(
       }
     '
 )"	
-
-# work around broken generated makefiles resulting in
-# "make[2]: *** No rule to make target 'JavaScriptCore-4.0.gir', needed by 'WebKit2-4.0.gir'.  Stop."
-# https://bugs.webkit.org/show_bug.cgi?id=195251
-eval "$(
-  declare -f build | \
-    sed '
-      s|cmake --build build|cmake --build build; cd build/Source/JavaScriptCore; make; cd ../../..; cmake --build build|
-    '
-)"