diff options
Diffstat (limited to 'extra/webkit2gtk/PKGBUILD')
-rw-r--r-- | extra/webkit2gtk/PKGBUILD | 10 |
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| - ' -)" |