summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rwxr-xr-xbin/jenkins_master_wrapper.sh2
-rwxr-xr-xbin/reproducible_build.sh2
2 files changed, 2 insertions, 2 deletions
diff --git a/bin/jenkins_master_wrapper.sh b/bin/jenkins_master_wrapper.sh
index 12dcb142..f7eaaf4a 100755
--- a/bin/jenkins_master_wrapper.sh
+++ b/bin/jenkins_master_wrapper.sh
@@ -36,7 +36,7 @@ set +e
ssh -p $PORT $NODE_NAME /bin/true
RESULT=$?
# abort job if host is down
-if [ $RESULT -ne 0 ] then
+if [ $RESULT -ne 0 ] ; then
echo "$(date -u) - $NODE_NAME seems to be down, sleeping 15min before aborting this job."
sleep 15m
/srv/jenkins/bin/abort.sh
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh
index cb8fd6f7..da3a9f4b 100755
--- a/bin/reproducible_build.sh
+++ b/bin/reproducible_build.sh
@@ -538,7 +538,7 @@ remote_build() {
ssh -p $PORT $NODE /bin/true
RESULT=$?
# abort job if host is down
- if [ $RESULT -ne 0 ] then
+ if [ $RESULT -ne 0 ] ; then
echo "$(date -u) - $NODE seems to be down, sleeping 23min before aborting this job."
sleep 23m
/srv/jenkins/bin/abort.sh