diff --git a/jenkinsfiles/example b/jenkinsfiles/example index 5eaae3bf6..20f87f59e 100644 --- a/jenkinsfiles/example +++ b/jenkinsfiles/example @@ -11,8 +11,8 @@ pipeline { stage('Build') { agent any - tool 'maven' steps { + tool 'maven' configFileProvider([configFile(fileId: 'nexus', variable: 'MAVEN_SETTINGS')]) { sh 'mvn -s $MAVEN_SETTINGS clean deploy -DskipTests=true -B' }