diff --git a/Jenkinsfile b/Jenkinsfile
index c1fc656269..fbb4e1387b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,3 +1,5 @@
+def deployBranch = 'master'
+
pipeline {
options {
timeout(time: 40, unit: 'MINUTES')
@@ -12,12 +14,15 @@ pipeline {
maven 'apache-maven-latest'
jdk 'temurin-jdk17-latest'
}
+ environment {
+ MVN_GOALS = getMavenGoals()
+ }
stages {
stage('Build') {
steps {
wrap([$class: 'Xvnc', useXauthority: true]) {
sh '''
- mvn clean verify --batch-mode -Dmaven.repo.local=$WORKSPACE/.m2/repository \
+ mvn clean ${MVN_GOALS} --batch-mode -Dmaven.repo.local=$WORKSPACE/.m2/repository \
-Pbree-libs \
-Papi-check \
-Pjavadoc \
@@ -39,3 +44,10 @@ pipeline {
}
}
}
+
+def getMavenGoals() {
+ //if(env.BRANCH_NAME == deployBranch) {
+ return "deploy -DdeployAtEnd=true"
+ //}
+ // return "verify"
+}
diff --git a/pom.xml b/pom.xml
index 5c807f4ff4..f4aeede9c9 100644
--- a/pom.xml
+++ b/pom.xml
@@ -38,6 +38,19 @@
features
org.eclipse.pde.doc.user
+
+
+
+ repo.eclipse.org
+ PDE - Releases
+ https://repo.eclipse.org/content/repositories/pde/
+
+
+ repo.eclipse.org
+ PDE - Snapshots
+ https://repo.eclipse.org/content/repositories/pde-snapshots/
+
+