diff options
Diffstat (limited to 'bin/reproducible_master_wrapper.sh')
| -rwxr-xr-x | bin/reproducible_master_wrapper.sh | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/bin/reproducible_master_wrapper.sh b/bin/reproducible_master_wrapper.sh deleted file mode 100755 index e11aec05..00000000 --- a/bin/reproducible_master_wrapper.sh +++ /dev/null @@ -1,25 +0,0 @@ -#!/bin/bash - -set -u -set -e - -case "$NODE_NAME" in - bpi0-armhf-rb.debian.net) - exec ssh -p 2222 $NODE_NAME "$JOB_NAME" - ;; - hb0-armhf-rb.debian.net) - exec ssh -p 2224 $NODE_NAME "$JOB_NAME" - ;; - wbq0-armhf-rb.debian.net) - exec ssh -p 2225 $NODE_NAME "$JOB_NAME" - ;; - cbxi4pro0-armhf-rb.debian.net) - exec ssh -p 2226 $NODE_NAME "$JOB_NAME" - ;; - profitbricks-build?-amd64.debian.net) - exec ssh $NODE_NAME "$JOB_NAME" - ;; - *) - echo >&2 "Unknown node $NODE_NAME." - exit 1 -esac |