From 1eeb5f5bbf57f69de61a160a879cdcb435db0a14 Mon Sep 17 00:00:00 2001 From: Andreas Baumann Date: Sat, 18 May 2019 11:24:36 +0200 Subject: extra/webkit2gtk: a fix for broken makefile support when building documentation --- extra/webkit2gtk/PKGBUILD | 21 +++++++++------------ 1 file changed, 9 insertions(+), 12 deletions(-) diff --git a/extra/webkit2gtk/PKGBUILD b/extra/webkit2gtk/PKGBUILD index 8f368200..a61bef71 100644 --- a/extra/webkit2gtk/PKGBUILD +++ b/extra/webkit2gtk/PKGBUILD @@ -13,15 +13,12 @@ fi # 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." -if [ "$CARCH" = 'i486' -o "$CARCH" = 'i686' ]; then - - 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 - ' - )" -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