diff options
Diffstat (limited to 'bin/reproducible_master_wrapper.sh')
| -rwxr-xr-x | bin/reproducible_master_wrapper.sh | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/bin/reproducible_master_wrapper.sh b/bin/reproducible_master_wrapper.sh index c49fd34c..ad1fa3fe 100755 --- a/bin/reproducible_master_wrapper.sh +++ b/bin/reproducible_master_wrapper.sh @@ -5,16 +5,19 @@ set -e case "$NODE_NAME" in bpi0-armhf-rb.debian.net) - exec ssh -p 2222 jenkins@$NODE_NAME "$JOB_NAME" + exec ssh -p 2222 $NODE_NAME "$JOB_NAME" ;; hb0-armhf-rb.debian.net) - exec ssh -p 2224 jenkins@$NODE_NAME "$JOB_NAME" + exec ssh -p 2224 $NODE_NAME "$JOB_NAME" ;; wbq0-armhf-rb.debian.net) - exec ssh -p 2225 jenkins@$NODE_NAME "$JOB_NAME" + exec ssh -p 2225 $NODE_NAME "$JOB_NAME" ;; cbxi4pro0-armhf-rb.debian.net) - exec ssh -p 2226 jenkins@$NODE_NAME "$JOB_NAME" + exec ssh -p 2226 $NODE_NAME "$JOB_NAME" + ;; + profitbricks-build?-amd64) + exec ssh $NODE_NAME "$JOB_NAME" ;; *) echo >&2 "Unknown node $NODE_NAME." |