From 0b8712ade59fc7f35d16d99b77b6bc4d94819356 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Fri, 20 Dec 2019 17:00:00 +0100 Subject: extra/webkit2gtk: remove obsolete(?) patch --- extra/webkit2gtk/PKGBUILD | 4 ---- 1 file changed, 4 deletions(-) (limited to 'extra') 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 ' )" -- cgit v1.2.3-70-g09d2