fix Jenkinsfile

Signed-off-by: Olivier Lamy <[email protected]>
jetty · Jun 14, 2024 · 8b84143 · 8b84143
1 parent c8784ef
commit 8b84143
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -9,7 +9,9 @@ pipeline {
       agent { node { label 'linux' } }
       steps {
         timeout( time: 120, unit: 'MINUTES' ) {
-          withMaven( maven: 'maven3', jdk: 'jdk17' ) {
+          withEnv(["JAVA_HOME=${tool jdk17}",
+                   "PATH+MAVEN=${env.JAVA_HOME}/bin:${tool 'maven3'}/bin",
+                   "MAVEN_OPTS=-Xms2g -Xmx4g -Djava.awt.headless=true"]) {
             sh "bash ./jetty-website.sh --follow-log --directive stage"
           }
         }