Make run_jenkins.sh actually fail on failure

10 years ago · 04b28e7933
parent ac366f9c2e
commit 04b28e7933
1 changed files with 1 additions and 0 deletions
--- a/tools/jenkins/run_jenkins.sh
+++ b/tools/jenkins/run_jenkins.sh
@ -68,6 +68,7 @@ then
  else
    echo "Docker exited with failure, keeping container $DOCKER_CID."
    echo "You can SSH to the worker and use 'docker start CID' and 'docker exec -i -t CID bash' to debug the problem."
+    exit 1
  fi

 elif [ "$platform" == "windows" ]