From 2510bd87562bfee9d82348f1c08dd78ccea12dd1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Sun, 14 Oct 2018 23:19:59 +0200
Subject: [PATCH] guix-install.sh: Recognize armhf-linux.

* etc/guix-install.sh (chk_sys_arch): Add "armv7l" case.
---
 etc/guix-install.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/etc/guix-install.sh b/etc/guix-install.sh
index d9f1955098..ca6874ba0f 100755
--- a/etc/guix-install.sh
+++ b/etc/guix-install.sh
@@ -160,6 +160,9 @@ chk_sys_arch()
         aarch64)
             local arch=aarch64
             ;;
+	armv7l)
+	    local arch=armhf
+	    ;;
         *)
             _err "${ERR}Unsupported CPU type: ${arch}"
             exit 1