From cae93e51d981c2dff12421b9207c1daa8816f43b Mon Sep 17 00:00:00 2001 From: Harald Welte 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