diff options
author | Erich Eckner <git@eckner.net> | 2019-12-20 17:05:05 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-12-20 17:05:05 +0100 |
commit | d039a0bfb858ecdcbab6e157304e4956e49751d6 (patch) | |
tree | 49433efb9eeb2307ecbea78f02f51cce94ad8156 /extra/webkit2gtk | |
parent | 0b8712ade59fc7f35d16d99b77b6bc4d94819356 (diff) | |
download | packages-d039a0bfb858ecdcbab6e157304e4956e49751d6.tar.xz |
extra/webkit2gtk: disable sse2 in the javascript engine, too (thanks, KitsuWhooa)
Diffstat (limited to 'extra/webkit2gtk')
-rw-r--r-- | extra/webkit2gtk/PKGBUILD | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/extra/webkit2gtk/PKGBUILD b/extra/webkit2gtk/PKGBUILD index a9555f51..795e8003 100644 --- a/extra/webkit2gtk/PKGBUILD +++ b/extra/webkit2gtk/PKGBUILD @@ -16,5 +16,14 @@ fi eval "$( declare -f build | \ sed ' + /cmake --build build/ ! { + /^\s*cmake / { + h + s/^.*$/[ "${CARCH}" != pentium4 ] || \0/ + p + g + s/^\s*cmake /[ "${CARCH}" = pentium4 ] || \0-DENABLE_JIT=OFF -DENABLE_C_LOOP=ON -DENABLE_SAMPLING_PROFILER=OFF / + } + } ' )" |