| commit | 5e75b3e3bf27d8f15226941352018cea47087539 | [log] [tgz] |
|---|---|---|
| author | chalepad <simon.reis@pta.de> | Mon Mar 12 12:32:39 2018 +0100 |
| committer | chalepad <simon.reis@pta.de> | Mon Mar 12 12:32:39 2018 +0100 |
| tree | 58ff5600d50007cc38447a1607e828870b14774b | |
| parent | 799353eb2506bd767f3d376e3111aed139186c6d [diff] |
Jenkinsfile changed
diff --git a/Jenkinsfile b/Jenkinsfile index 447d8a4..627ccc4 100644 --- a/Jenkinsfile +++ b/Jenkinsfile
@@ -11,7 +11,7 @@ /* This builds the actual image; synonymous to * docker build on the command line */ - app = docker.build("myserver_central:jenkinsversion", "--no-cache") + app = docker.build("myserver_central:jenkinsversion --no-cache") } stage('Refresh containers') {