From b5a1f4733433c8f35c07283c84204188a053bec4 Mon Sep 17 00:00:00 2001
From: Alex Ellis <alexellis2@gmail.com>
Date: Wed, 6 Feb 2019 20:47:27 +0000
Subject: [PATCH] Fix issue #5273 for get script on armv7l

This fixes issue #5273 in the get script by making the armv7l
architecture point at the correctly named "arm" binary on the
release page.

Signed-off-by: Alex Ellis <alexellis2@gmail.com>
---
 scripts/get | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/get b/scripts/get
index bf13d25bc..9c93e1e84 100755
--- a/scripts/get
+++ b/scripts/get
@@ -29,7 +29,7 @@ initArch() {
   case $ARCH in
     armv5*) ARCH="armv5";;
     armv6*) ARCH="armv6";;
-    armv7*) ARCH="armv7";;
+    armv7*) ARCH="arm";;
     aarch64) ARCH="arm64";;
     x86) ARCH="386";;
     x86_64) ARCH="amd64";;