Fix architecture mapping for raspberrypi (arduino#338)

Maurizio Branca · masci · commit eb1091cf77e1 · 2019-08-10T13:04:03.000+02:00
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.
diff --git 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";;
