diff options
| author | Olivier Lamy <olamy@apache.org> | 2018-04-18 14:06:37 +1000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-18 14:06:37 +1000 |
| commit | 69bfe2f10a1d58207624e18fcb439e73d8835fbf (patch) | |
| tree | da90fb3c967a9b4dc3ba98f0dfc6be6cd4da0e09 /Jenkinsfile | |
| parent | 42615d76c71b75453e13739114211d9d8b074bac (diff) | |
| download | archiva-69bfe2f10a1d58207624e18fcb439e73d8835fbf.tar.gz archiva-69bfe2f10a1d58207624e18fcb439e73d8835fbf.zip | |
reuse variable
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
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}" ) |