diff options
Diffstat (limited to 'bin/jenkins_master_wrapper.sh')
-rwxr-xr-x | bin/jenkins_master_wrapper.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/jenkins_master_wrapper.sh b/bin/jenkins_master_wrapper.sh index d75f0e8a..64195cc3 100755 --- a/bin/jenkins_master_wrapper.sh +++ b/bin/jenkins_master_wrapper.sh @@ -47,6 +47,12 @@ case "$NODE_NAME" in ff2a-armhf-rb.debian.net) PORT=2234 ;; + ff2b-armhf-rb.debian.net) + PORT=2237 + ;; + opi2a-armhf-rb.debian.net) + PORT=2236 + ;; profitbricks-build?-amd64.debian.net) PORT=22 if [[ "$JOB_NAME" =~ rebootstrap_.* ]] ; then |