diff options
author | Andreas Baumann <mail@andreasbaumann.cc> | 2021-01-29 09:57:54 +0100 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2021-01-29 09:57:54 +0100 |
commit | 9aa5138d84013fb56b5d9e6c51c501df57f50ec1 (patch) | |
tree | 91f04b81681df71f23f8e9734af799c726b0aecf /extra | |
parent | 21e4caf1c5bba395e12112994a8b043cf5493aad (diff) | |
download | packages-9aa5138d84013fb56b5d9e6c51c501df57f50ec1.tar.xz |
extra/webkit2gtk: removed patch for gir generation
Diffstat (limited to 'extra')
-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| - ' -)" |