diff options
| author | Erich Eckner <git@eckner.net> | 2019-12-20 17:00:00 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-12-20 17:00:00 +0100 |
| commit | 0b8712ade59fc7f35d16d99b77b6bc4d94819356 (patch) | |
| tree | 1e7cc1666e6491df2b36faf07308d79b88fa7b1d | |
| parent | a93605f5f7880437ae3f1deb84fa593eb1b1ed3e (diff) | |
| download | packages-0b8712ade59fc7f35d16d99b77b6bc4d94819356.tar.xz | |
extra/webkit2gtk: remove obsolete(?) patch
| -rw-r--r-- | extra/webkit2gtk/PKGBUILD | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/extra/webkit2gtk/PKGBUILD b/extra/webkit2gtk/PKGBUILD index 38aa5508..a9555f51 100644 --- a/extra/webkit2gtk/PKGBUILD +++ b/extra/webkit2gtk/PKGBUILD @@ -16,9 +16,5 @@ fi eval "$( declare -f build | \ sed ' - /cmake --build build/a \ - cd build && make JavaScriptCore-4-gir && cd .. \ - cmake --build build - s/\(cmake --build build\)/\1 || true/g ' )" |