From c79dc6afff4467f076180e419bf6c814709274da Mon Sep 17 00:00:00 2001
From: Maurizio Branca <m.branca@arduino.cc>
Date: Fri, 9 Aug 2019 16:58:10 +0200
Subject: [PATCH] Fix architecture mapping for raspberrypi

The Raspberry Pi presents itself as an `armv7l` architecture and with this mapping the install script is will download the most appropriate archive for this platform.
---
 install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install.sh b/install.sh
index afc941c15d3..c23290b6f2e 100755
--- a/install.sh
+++ b/install.sh
@@ -35,7 +35,7 @@ initArch() {
 	case $ARCH in
 		armv5*) ARCH="armv5";;
 		armv6*) ARCH="armv6";;
-		armv7*) ARCH="ARM";;
+		armv7*) ARCH="ARMv7";;
 		aarch64) ARCH="ARM64";;
 		x86) ARCH="32bit";;
 		x86_64) ARCH="64bit";;