From 3d967544c2dffdfc69fea64c1ae58e47ded15919 Mon Sep 17 00:00:00 2001 From: Martin Stockhammer Date: Sat, 20 Oct 2018 17:53:02 +0200 Subject: [PATCH] Removing maven settings file --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 9283a3401..2b2f974d9 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -46,7 +46,7 @@ pipeline { steps { timeout(120) { withMaven(maven: buildMvn, jdk: buildJdk, - mavenSettingsConfig: deploySettings, + mavenLocalRepo: ".repository", options: [concordionPublisher(disabled: true), dependenciesFingerprintPublisher(disabled: true), findbugsPublisher(disabled: true), artifactsPublisher(disabled: true), -- 2.39.5