summaryrefslogtreecommitdiffstats
path: root/contrib
diff options
context:
space:
mode:
Diffstat (limited to 'contrib')
-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
;;