Merge branch 'develop'

* develop: jenkins: only deploy ruleset and tile
2018-07-04 22:41:38 +01:00 · 2018-07-04 22:41:38 +01:00 · 29d0631324
commit 29d0631324
parent b54493007d 714aeca9b4
1 changed files with 1 additions and 1 deletions
--- a/Jenkinsfile.groovy
+++ b/Jenkinsfile.groovy
@ -62,7 +62,7 @@ pipeline {
            when { expression { (env.GIT_BRANCH == 'master' && env.GIT_URL.startsWith('https://github.com')) } }
            steps {
                withMaven(maven: 'maven', jdk: 'JDK LTS') {
-                    sh "${mvn} deploy --activate-profiles release -DskipTests=true"
+                    sh "${mvn} deploy -pl ruleset,tile --activate-profiles release -DskipTests=true"
                }
            }
        }