diff options
| -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 ;; |