diff --git a/ci/release/Jenkinsfile b/ci/release/Jenkinsfile
index 9e590cd240..e74c9705bd 100644
--- a/ci/release/Jenkinsfile
+++ b/ci/release/Jenkinsfile
@@ -38,7 +38,7 @@ pipeline {
)
string(
name: 'DEVELOPMENT_VERSION',
- defaultValue: '7.1.1-SNAPSHOT',
+ defaultValue: '7.1.2-SNAPSHOT',
description: 'The next version to be used after the release, e.g. 7.1.2-SNAPSHOT.',
trim: true
)
diff --git a/gradle/pom.xml b/gradle/pom.xml
index fdeb4fd66a..1c8e6c1aeb 100644
--- a/gradle/pom.xml
+++ b/gradle/pom.xml
@@ -44,13 +44,6 @@
./gradlew
-
-
- org.hibernate.tool
- hibernate-tools-orm
-
-
-
@@ -67,7 +60,7 @@
exec-maven-plugin
- gradle
+ gradle-package
prepare-package
${gradle.executable}
@@ -76,6 +69,22 @@
build
-PprojectVersion=${project.version}
-Ph2Version=${h2.version}
+ -Dmaven.repo.local=${settings.localRepository}
+
+
+
+ exec
+
+
+
+ gradle-clean
+ clean
+
+ ${gradle.executable}
+
+ clean
+ -PprojectVersion=${project.version}
+ -Ph2Version=${h2.version}
@@ -112,6 +121,7 @@
publishPluginMavenPublicationToStagingRepository
-PprojectVersion=${project.version}
-Ph2Version=${h2.version}
+ -Dmaven.repo.local=${settings.localRepository}
-PmavenStagingDirectory=${local.staging.releases.repo.url}