reuse variable

diff --git a/Jenkinsfile b/Jenkinsfile
index ae6a5949c1afb4d093f78b673007bbf769d7810d..f8992e71b92b283ea7db5c98131fed78441fe901 100644 (file)
--- 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}"                  
                    )