diff options
author | Michał Masłowski <mtjm@mtjm.eu> | 2012-02-19 12:51:28 +0100 |
---|---|---|
committer | Michał Masłowski <mtjm@mtjm.eu> | 2012-02-19 12:51:28 +0100 |
commit | 1ef0a77697cd263a33911c15efef138c7904b0c9 (patch) | |
tree | 3ec46cbecd4cfe21feaa47e8d2e9a06226ff8014 /extra/libwebkit | |
parent | b7be3e931b811decb9a8686a60e52fe723bbaf81 (diff) |
Try again disabling libwebkit JIT.
Diffstat (limited to 'extra/libwebkit')
-rw-r--r-- | extra/libwebkit/PKGBUILD | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/extra/libwebkit/PKGBUILD b/extra/libwebkit/PKGBUILD index d218cdab2..7c05826eb 100644 --- a/extra/libwebkit/PKGBUILD +++ b/extra/libwebkit/PKGBUILD @@ -4,7 +4,7 @@ pkgbase=libwebkit pkgname=(libwebkit libwebkit3) pkgver=1.6.3 -pkgrel=1 +pkgrel=1.1 pkgdesc="An opensource web content engine" arch=('i686' 'x86_64' 'mips64el') url="http://webkitgtk.org/" @@ -23,6 +23,9 @@ build() { # Fix MIPS N32 support. sed -i 's/defined(_ABIO32)/(defined(_ABIO32) || defined(_ABIN32))/' \ Source/JavaScriptCore/wtf/Platform.h + # Don't enable JIT even if configure finds that it's not supported. + sed -i 's/#define ENABLE_JIT 1/#define ENABLE_JIT 0/' \ + Source/JavaScriptCore/wtf/Platform.h ( cd build-gtk2 && _build --with-gtk=2.0 ) ( cd build-gtk3 && _build --with-gtk=3.0 ) |