From cf7705ee7838c152c435b8a079e74d562672e0c7 Mon Sep 17 00:00:00 2001 From: Olivier Lamy Date: Fri, 14 Jun 2024 12:24:03 +1000 Subject: [PATCH] typo Signed-off-by: Olivier Lamy --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 7d7dc7b..279f29c 100644 --- 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"