index : packages | |
Archlinux32 package modifications | gitolite user |
summaryrefslogtreecommitdiff |
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 | |
parent | 0b8712ade59fc7f35d16d99b77b6bc4d94819356 (diff) |
-rw-r--r-- | extra/webkit2gtk/PKGBUILD | 9 |
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 / + } + } ' )" |