diff options
| -rw-r--r-- | Jenkinsfile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 66445c695..af7968e71 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -34,8 +34,7 @@ def generateCI(display_name, image_name) { docker.image("${image_name}").pull() docker.image("${image_name}").withRun("--volumes-from ${hostname} --workdir " + pwd()) { c -> - sh "docker logs --follow ${c.id}" - sh "exit `docker wait ${c.id}`" + sh "docker logs --follow ${c.id}; exit `docker wait ${c.id}`" } } |