From 86e42d1e64e5dfe440740000c8071e66151ad220 Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Sat, 18 Jan 2014 12:56:13 +0100
Subject: [PATCH] linux: don't build it unless target machine is supported.

---
 srcpkgs/linux/template | 26 ++++++++++++++------------
 1 file changed, 14 insertions(+), 12 deletions(-)

diff --git a/srcpkgs/linux/template b/srcpkgs/linux/template
index fabeccfb88..9585bb204e 100644
--- a/srcpkgs/linux/template
+++ b/srcpkgs/linux/template
@@ -8,19 +8,21 @@ short_desc="Linux kernel meta package"
 maintainer="Juan RP <xtraeme@gmail.com>"
 license="Public domain"
 
-if [ "$XBPS_TARGET_ARCH" = "i686" -o "$XBPS_TARGET_ARCH" = "x86_64" ]; then
-	makedepends="linux3.10 linux-firmware dracut"
-	depends="linux3.10"
-elif [ "$XBPS_TARGET_ARCH" = "armv6l" ]; then
-	makedepends="kernel-rpi"
-	depends="kernel-rpi"
-fi
+case "$XBPS_TARGET_MACHINE" in
+	i686*|x86_64*)
+		makedepends="linux3.10 linux-firmware dracut"
+		depends="linux3.10"
+		_depends_headers="linux3.10-headers"
+		;;
+	armv6l*)
+		makedepends="kernel-rpi"
+		depends="kernel-rpi"
+		_depends_headers="kernel-rpi-headers"
+		;;
+	*) msg_error "${pkgname}-${version}: unsupported target machine.\n";;
+esac
 
 linux-headers_package() {
 	short_desc="Linux kernel headers meta package"
-	if [ "$XBPS_TARGET_ARCH" = "armv6l" ]; then
-		depends="kernel-rpi-headers"
-	else
-		depends="linux3.10-headers"
-	fi
+	depends="${_depends_headers}"
 }