From 0bd7008fcfa885f5192180ad6ee206a9de6c72e3 Mon Sep 17 00:00:00 2001 From: olivier lamy Date: Thu, 21 Mar 2019 21:42:34 +1000 Subject: [PATCH] fix default jdk when no parameter are used Signed-off-by: olivier lamy --- Jmh_Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jmh_Jenkinsfile b/Jmh_Jenkinsfile index d384ff2a9dd..9c0a1d2fafe 100644 --- a/Jmh_Jenkinsfile +++ b/Jmh_Jenkinsfile @@ -2,7 +2,7 @@ def branch = params.get("JETTY_BRANCH" ,"jetty-9.4.x") def owner = params.get("REPO_OWNER", "eclipse") -def jdk = params.get("JDK", "eclipse") +def jdk = params.get("JDK", "jdk8") def jmhJarPath = params.get("jmhJarPath","jetty-jmh/target/benchmarks.jar") node("linux") {