From cae93e51d981c2dff12421b9207c1daa8816f43b Mon Sep 17 00:00:00 2001
From: Harald Welte <laforge@gnumonks.org>
Date: Thu, 28 Jun 2018 08:32:17 +0200
Subject: jenkins_arch.sh: Accept "arm-none-eabi" as alias for "arm"

The jenkins build job is calling the script using "amd64" and
"arm-none-eabi", while the script expects "amd64" and "arm".

Let's add "arm-none-eabi" as an alias for "arm".

Closes: OS#3360
Change-Id: Idedd4778a63d67cdbf4f4d538bf4a225abb7547a
---
 contrib/jenkins_arch.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/jenkins_arch.sh b/contrib/jenkins_arch.sh
index 360fd1c1..cf9546e8 100755
--- a/contrib/jenkins_arch.sh
+++ b/contrib/jenkins_arch.sh
@@ -22,7 +22,7 @@ case "$arch" in
     ./contrib/jenkins_amd64.sh
   ;;
 
-  arm)
+  arm|arm-none-eabi)
     ./contrib/jenkins_arm.sh
   ;;
 
-- 
cgit v1.2.3