1 files changed, 25 insertions, 0 deletions
diff --git a/bin/jenkins_master_wrapper.sh b/bin/jenkins_master_wrapper.sh
new file mode 100755
index 00000000..e11aec05
--- /dev/null
+++ b/bin/jenkins_master_wrapper.sh
@@ -0,0 +1,25 @@
+#!/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