diff options
| author |  Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2015-06-27 22:37:50 +0200 |
|---|---|---|
| committer | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2015-06-27 22:37:50 +0200 |
| commit | 66e358b1e08b978bcd50e1f357d8968acac07a1f (patch) | |
| tree | 37e593975b0892969b32ff4e330b55848df4d416 /tools/jenkins | |
| parent | a7661b59d81584740556d8214c66cdc9eae23759 (diff) | |
Disabling saving failed containers.
We clearly don't have enough space for that, if we are to run our tests every few minutes.
We can revisit that later and automatically purge old containers for example.
Diffstat (limited to 'tools/jenkins')
| -rwxr-xr-x | tools/jenkins/run_jenkins.sh | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/tools/jenkins/run_jenkins.sh b/tools/jenkins/run_jenkins.sh index 6042655a27..f2091e2423 100755 --- a/tools/jenkins/run_jenkins.sh +++ b/tools/jenkins/run_jenkins.sh @@ -73,15 +73,7 @@ then DOCKER_CID=`cat docker.cid` docker kill $DOCKER_CID docker cp $DOCKER_CID:/var/local/git/grpc/report.xml $git_root - if [ "$DOCKER_FAILED" == "" ] - then - echo "Docker finished successfully, deleting the container $DOCKER_CID" - docker rm $DOCKER_CID - else - echo "Docker exited with failure, keeping container $DOCKER_CID." - echo "You can SSH to the worker and use 'docker commit CID YOUR_IMAGE_NAME' and 'docker run -i -t YOUR_IMAGE_NAME bash' to debug the problem." - exit 1 - fi + docker rm $DOCKER_CID elif [ "$platform" == "windows" ] then |