From 69bfe2f10a1d58207624e18fcb439e73d8835fbf Mon Sep 17 00:00:00 2001
From: Olivier Lamy <olamy@apache.org>
Date: Wed, 18 Apr 2018 14:06:37 +1000
Subject: reuse variable

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Jenkinsfile')

diff --git a/Jenkinsfile b/Jenkinsfile
index ae6a5949c..f8992e71b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -22,7 +22,7 @@ node ("ubuntu") {
     stage ('Build') {
       withEnv(mvnEnv) {
         timeout(120) {
-          withMaven(maven: 'Maven 3.5.2', jdk: 'JDK 1.8 (latest)',
+          withMaven(maven: mvntool.name, jdk: jdktool.name,
                         globalMavenSettingsConfig: deploySettings,
                         mavenLocalRepo: "${env.JENKINS_HOME}/${env.EXECUTOR_NUMBER}"                  
                    )
-- 
cgit v1.2.3