diff --git a/ci/release/Jenkinsfile b/ci/release/Jenkinsfile index 30b482ae..5492735a 100644 --- a/ci/release/Jenkinsfile +++ b/ci/release/Jenkinsfile @@ -71,17 +71,17 @@ pipeline { sh 'git config --local user.email "validation-bot@eclipse.org"' // update version: - sh "./mvnw -Prelocation clean versions:set -DnewVersion=${params.RELEASE_VERSION} -DgenerateBackupPoms=false" + sh "./mvnw clean versions:set -DnewVersion=${params.RELEASE_VERSION} -DgenerateBackupPoms=false" // commit and tag the "release version": sh "git commit -a -m '[Jenkins release job] Preparing release ${params.RELEASE_VERSION}'" sh "git tag -a -m 'Release ${params.RELEASE_VERSION}' ${params.RELEASE_VERSION}" // deploy to Maven Central: - sh "./mvnw clean deploy -Poss-release -Psnapshots -DskipTests=true" + sh "./mvnw clean deploy -Poss-release -DskipTests=true" // reset the version back to dev: - sh "./mvnw -Prelocation clean versions:set -DnewVersion=${params.DEVELOPMENT_VERSION} -DgenerateBackupPoms=false" + sh "./mvnw clean versions:set -DnewVersion=${params.DEVELOPMENT_VERSION} -DgenerateBackupPoms=false" // commit the dev version and push all back to git: sh "git commit -a -m '[Jenkins release job] Preparing next development iteration'"