diff options
| -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 / + } + } ' )" |