1 files changed, 11 insertions, 2 deletions
diff --git a/extra/webkit2gtk/PKGBUILD b/extra/webkit2gtk/PKGBUILD
index 4d9cc33a..8c57f8cb 100644
--- a/extra/webkit2gtk/PKGBUILD
+++ b/extra/webkit2gtk/PKGBUILD
@@ -13,8 +13,7 @@ if [ "${CARCH}" != "pentium4" ]; then
   )"	
 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."
+# do not build JIT code on non-pentium4 (breaks in micro-optimizations)
 eval "$(
   declare -f build | \
     sed '
@@ -29,3 +28,13 @@ 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|
+    '
+)"