From 9aa5138d84013fb56b5d9e6c51c501df57f50ec1 Mon Sep 17 00:00:00 2001
From: Andreas Baumann <mail@andreasbaumann.cc>
Date: Fri, 29 Jan 2021 09:57:54 +0100
Subject: extra/webkit2gtk: removed patch for gir generation

---
 extra/webkit2gtk/PKGBUILD | 10 ----------
 1 file changed, 10 deletions(-)

(limited to 'extra/webkit2gtk')

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|
-    '
-)"	
-- 
cgit v1.2.3-70-g09d2