diff options
Diffstat (limited to 'bin/jenkins_master_wrapper.sh')
| -rwxr-xr-x | bin/jenkins_master_wrapper.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/jenkins_master_wrapper.sh b/bin/jenkins_master_wrapper.sh index 6f472efe..77c90026 100755 --- a/bin/jenkins_master_wrapper.sh +++ b/bin/jenkins_master_wrapper.sh @@ -3,6 +3,7 @@ set -u set -e +# these nodes also need to be listed in bin/reproducible_common.sh where they define $BUILD_NODES case "$NODE_NAME" in bpi0-armhf-rb.debian.net) exec ssh -p 2222 $NODE_NAME "$JOB_NAME" |