build docker image as well

2017-09-30 23:53:38 +02:00 · 2017-09-30 23:53:38 +02:00 · 31bfa07a45
parent 81e0ca8527
commit 31bfa07a45
1 changed files with 2 additions and 0 deletions
--- a/Installation/Pipeline/Jenkinsfile.groovy
+++ b/Installation/Pipeline/Jenkinsfile.groovy
@ -569,6 +569,8 @@ def checkCommitMessages() {
        if (env.BRANCH_NAME == "devel" || env.BRANCH_NAME == "3.2") {
            echo "build of main branch"

+            useDocker = true
+
            restrictions = [
                // OS EDITION MAINTAINER
                "build-linux-community-maintainer" : true,