From ecd8e6d95cc41edd727d1ae9ed4824780a803973 Mon Sep 17 00:00:00 2001 From: Kevin Mihelich Date: Thu, 11 Oct 2012 17:31:09 +0000 Subject: [PATCH] fix mono for v6h --- extra/mono/PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extra/mono/PKGBUILD b/extra/mono/PKGBUILD index cd9dccea4..61b5b6cb1 100644 --- a/extra/mono/PKGBUILD +++ b/extra/mono/PKGBUILD @@ -28,7 +28,7 @@ md5sums=('411a2d9bcfc37a61eb9aedba88b40533' build() { cd ${srcdir}/${pkgname}-${pkgver} # build mono - if [ "$CARCH" = "armv7h" ]; then + if [ "$CARCH" = "armv7h" -o "$CARCH" = "armv6h"]; then patch -Np1 -i ${srcdir}/alarm.patch ./autogen.sh --prefix=/usr --sysconfdir=/etc \ --with-libgdiplus=installed --with-fpu=VFP