diff options
Diffstat (limited to 'bin/jenkins_master_wrapper.sh')
| -rwxr-xr-x | bin/jenkins_master_wrapper.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/bin/jenkins_master_wrapper.sh b/bin/jenkins_master_wrapper.sh index ed7902ba..34e8fc0c 100755 --- a/bin/jenkins_master_wrapper.sh +++ b/bin/jenkins_master_wrapper.sh @@ -35,6 +35,15 @@ case "$NODE_NAME" in rpi2b-armhf-rb.debian.net) PORT=2230 ;; + odxu4b-armhf-rb.debian.net) + PORT=2232 + ;; + odxu4c-armhf-rb.debian.net) + PORT=2233 + ;; + ff2a-armhf-rb.debian.net) + PORT=2234 + ;; profitbricks-build?-amd64.debian.net) PORT=22 if [[ "$JOB_NAME" =~ rebootstrap_.* ]] ; then |