summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHarald Welte <laforge@gnumonks.org>2018-06-28 08:32:17 +0200
committerHarald Welte <laforge@gnumonks.org>2018-06-28 10:57:42 +0200
commitcae93e51d981c2dff12421b9207c1daa8816f43b (patch)
tree4e5dc805c58d693e6cd06119ab3fc234a344b923
parent1e78313e8e59204d15dfae71d49ded30dcd36b29 (diff)
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
-rwxr-xr-xcontrib/jenkins_arch.sh2
1 files changed, 1 insertions, 1 deletions
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
;;