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