From 841a5489ff2ca2645597cb4cf5a5558e2e873642 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Mon, 7 Mar 2022 12:18:04 +0100
Subject: [PATCH] change settings filename used by SNAPSHOT* build

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 85525a0..8291774 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -10,14 +10,14 @@ if (params.Type == 'SNAPSHOT-DRY-RUN') {
     echo "Configure Maven for SNAPSHOT-DRY-RUN artifacts"
     options = ''
     maven_local_repo_path = "local-snapshots"
-    maven_settings_file = "gcube-settings.xml" 
+    maven_settings_file = "gcube-official.xml" 
     maven_activation_property="-Pdry-run";
 }
 if (params.Type == 'SNAPSHOT') {
     echo "Configure Maven for SNAPSHOT artifacts"
     options = ''
     maven_local_repo_path = "local-snapshots"
-    maven_settings_file = "gcube-settings.xml"
+    maven_settings_file = "gcube-official.xml"
     maven_activation_property='';
 }
 if (params.Type == 'RELEASE-DRY-RUN') {