summaryrefslogtreecommitdiff
path: root/extra/webkit2gtk
diff options
context:
space:
mode:
Diffstat (limited to 'extra/webkit2gtk')
-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|
- '
-)"