diff options
author | Olivier Lamy <olamy@apache.org> | 2018-04-18 14:13:11 +1000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-18 14:13:11 +1000 |
commit | 009ddf868f6ec0ad391d3b0f3fd778c6354b8014 (patch) | |
tree | 5929c48c46b6e60b74bb698d3ac7f92cd510d7b8 /Jenkinsfile | |
parent | 042fd992bc9a05fc1c836a0b4dbc2a19f037d5b5 (diff) | |
download | archiva-009ddf868f6ec0ad391d3b0f3fd778c6354b8014.tar.gz archiva-009ddf868f6ec0ad391d3b0f3fd778c6354b8014.zip |
should fix it
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 5c897c542..36b563f8d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,8 @@ - def labels = 'ubuntu' - def buildJdk = 'JDK 1.8 (latest)' - def buildMvn = 'Maven 3.5.2' +def labels = 'ubuntu' +def buildJdk = 'JDK 1.8 (latest)' +def buildMvn = 'Maven 3.5.2' +def deploySettings = 'DefaultMavenSettingsProvider.1331204114925' node (labels) { try @@ -19,7 +20,7 @@ node (labels) { stage ('Build') { timeout(120) { withMaven(maven: buildMvn, jdk: buildJdk, - globalMavenSettingsConfig: deploySettings, + mavenSettingsConfig: deploySettings, mavenLocalRepo: "${env.JENKINS_HOME}/${env.EXECUTOR_NUMBER}" ) { |