add Jenkinsfile for php image

2019-02-09 23:00:30 -05:00
parent 2ebd6e5a19
commit 83f596e6ce
5 changed files with 5 additions and 5 deletions
--- a/dockerfiles/tasks/Jenkinsfile
+++ b/dockerfiles/tasks/Jenkinsfile
@@ -8,7 +8,7 @@ pipeline {
        )
    }
    options {
-        disableConcurrentBuilds(),
+        disableConcurrentBuilds()
        buildDiscarder(logRotator(numToKeepStr: '10'))
    }
    stages {