From 7ffdb02220011fb36fb1a3e03a34a14e38ea011d Mon Sep 17 00:00:00 2001
From: moonman <moonman.ca@gmail.com>
Date: Wed, 16 Sep 2015 16:13:03 -0600
Subject: [PATCH] alarm/kodi-rbp to 15.1-2

---
 alarm/kodi-rbp/PKGBUILD | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/alarm/kodi-rbp/PKGBUILD b/alarm/kodi-rbp/PKGBUILD
index cf21b1266..67360c66b 100644
--- a/alarm/kodi-rbp/PKGBUILD
+++ b/alarm/kodi-rbp/PKGBUILD
@@ -3,6 +3,9 @@
 # Contributor Romzetron <asromzek@gmail.com>
 # Contributor Holzhaus <holthuis.jan@googlemail.com>
 
+# Prevent autobuild till GCC5.2 issues get resolved.
+noautobuild=1
+
 buildarch=20
 
 _prefix=/usr
@@ -11,7 +14,7 @@ pkgbase=kodi-rbp
 pkgname=('kodi-rbp' 'kodi-rbp-eventclients')
 pkgver=15.1
 _codename=Isengard
-pkgrel=1
+pkgrel=2
 pkgdesc="A software media player and entertainment hub for digital media for the Raspberry Pi"
 arch=('armv6h' 'armv7h')
 url="http://kodi.tv"