extra/webkitgtk fix

This commit is contained in:
Kevin Mihelich 2014-06-07 21:00:51 +00:00
parent 5c23a8246c
commit 49c78b424a

View file

@ -3,6 +3,7 @@
# ALARM: Kevin Mihelich <kevin@archlinuxarm.org>
# - use --disable-jit to solve segfaults
# - use --disable-gtk-doc-html to solve html docs breaking the build
pkgbase=webkitgtk
pkgname=(webkitgtk webkitgtk2)
@ -39,7 +40,7 @@ _build() (
../$pkgbase-$pkgver/configure --prefix=/usr \
--libexecdir=/usr/lib/webkit${_ver} \
--enable-introspection --disable-jit \
--enable-introspection --disable-jit --disable-gtk-doc-html \
"$@"
# https://bugzilla.gnome.org/show_bug.cgi?id=655517