typo

Signed-off-by: Olivier Lamy <[email protected]>
jetty · Jun 14, 2024 · cf7705e · cf7705e
1 parent 8b84143
commit cf7705e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -9,7 +9,7 @@ pipeline {
       agent { node { label 'linux' } }
       steps {
         timeout( time: 120, unit: 'MINUTES' ) {
-          withEnv(["JAVA_HOME=${tool 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"