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
This commit is contained in:
Harald Welte 2018-06-28 08:32:17 +02:00
parent 1e78313e8e
commit cae93e51d9
1 changed files with 1 additions and 1 deletions

View File

@ -22,7 +22,7 @@ case "$arch" in
./contrib/jenkins_amd64.sh
;;
arm)
arm|arm-none-eabi)
./contrib/jenkins_arm.sh
;;