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