Merge branch 'develop' into hotfix/4.1.1

This commit is contained in:
Paul Campbell 2018-05-15 17:34:57 +01:00 committed by GitHub
commit 8b45305c9e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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"
}
}
}