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 /include | |
| 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 'include')
0 files changed, 0 insertions, 0 deletions