diff options
| author | Harald Welte <laforge@gnumonks.org> | 2018-06-28 08:32:17 +0200 |
|---|---|---|
| committer | Harald Welte <laforge@gnumonks.org> | 2018-06-28 10:57:42 +0200 |
| commit | cae93e51d981c2dff12421b9207c1daa8816f43b (patch) | |
| tree | 4e5dc805c58d693e6cd06119ab3fc234a344b923 /contrib | |
| parent | 1e78313e8e59204d15dfae71d49ded30dcd36b29 (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
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/jenkins_arch.sh | 2 |
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 ;; |