summaryrefslogtreecommitdiff
path: root/extra
diff options
context:
space:
mode:
authorAndreas Baumann <mail@andreasbaumann.cc>2021-01-29 09:57:54 +0100
committerAndreas Baumann <mail@andreasbaumann.cc>2021-01-29 09:57:54 +0100
commit9aa5138d84013fb56b5d9e6c51c501df57f50ec1 (patch)
tree91f04b81681df71f23f8e9734af799c726b0aecf /extra
parent21e4caf1c5bba395e12112994a8b043cf5493aad (diff)
downloadpackages-9aa5138d84013fb56b5d9e6c51c501df57f50ec1.tar.xz
extra/webkit2gtk: removed patch for gir generation
Diffstat (limited to 'extra')
-rw-r--r--extra/webkit2gtk/PKGBUILD10
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|
- '
-)"