diff --git a/Jenkinsfile b/Jenkinsfile index f5e44e1e48b..8f1494ccd31 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -31,7 +31,7 @@ pipeline { # export MAVEN_OPTS="-Xmx2G" mvn -U clean verify --batch-mode --fail-at-end -Dmaven.repo.local=$WORKSPACE/.m2/repository \ - -Pbuild-individual-bundles -Ptest-on-javase-17 -Pbree-libs -Papi-check \ + -Pbuild-individual-bundles -Ptest-on-javase-17 -Pbree-libs -Papi-check -Dtycho.version=2.7.0 \ -Djava.io.tmpdir=$WORKSPACE/tmp -Dcompare-version-with-baselines.skip=false -Dproject.build.sourceEncoding=UTF-8 \ -Dtycho.surefire.argLine="--add-modules ALL-SYSTEM -Dcompliance=1.8,11,17 -Djdt.performance.asserts=disabled" """