An attempt to fix Jenkins execution

See eclipse-platform/eclipse.platform.releng.aggregator#1203
eclipse-jdt · Jul 12, 2023 · fbb2a77 · fbb2a77
1 parent 90f3d96
commit fbb2a77
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -17,7 +17,7 @@ pipeline {
  steps {
  sh """#!/bin/bash -x
  
- /opt/tools/java/openjdk/jdk-11/latest/bin/java -version
+ # /opt/tools/java/openjdk/jdk-11/latest/bin/java -version
  java -version
  
  mkdir -p $WORKSPACE/tmp
@@ -29,7 +29,7 @@ pipeline {
  # via configuration/argLine property in pom.xml
  # export MAVEN_OPTS="-Xmx2G"
  
- mvn clean install -f org.eclipse.jdt.core.compiler.batch -DlocalEcjVersion=99.99
+ mvn clean install -f org.eclipse.jdt.core.compiler.batch -DlocalEcjVersion=99.99 -Dmaven.repo.local=$WORKSPACE/.m2/repository
  
  mvn -U clean verify --batch-mode --fail-at-end -Dmaven.repo.local=$WORKSPACE/.m2/repository \
  -Ptest-on-javase-20 -Pbree-libs -Papi-check \