diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/jenkins_master_wrapper.sh | 2 | ||||
| -rwxr-xr-x | bin/reproducible_build_arch_pkg.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/bin/jenkins_master_wrapper.sh b/bin/jenkins_master_wrapper.sh index 79c78f33..37035f8d 100755 --- a/bin/jenkins_master_wrapper.sh +++ b/bin/jenkins_master_wrapper.sh @@ -50,7 +50,7 @@ esac # main # set +e -ssh -o "BatchMode = yes" -p $PORT $NODE_NAME /bin/true +ssh -o "BatchMode = yes" -p $PORT $NODE_NAME true RESULT=$? # abort job if host is down if [ $RESULT -ne 0 ] ; then diff --git a/bin/reproducible_build_arch_pkg.sh b/bin/reproducible_build_arch_pkg.sh index bf775e6f..52310582 100755 --- a/bin/reproducible_build_arch_pkg.sh +++ b/bin/reproducible_build_arch_pkg.sh @@ -103,7 +103,7 @@ remote_build() { local NODE=profitbricks-build3-amd64.debian.net local PORT=22 set +e - ssh -p $PORT $NODE /bin/true + ssh -p $PORT $NODE true RESULT=$? # abort job if host is down if [ $RESULT -ne 0 ] ; then |