From eb68c86eb03266f978725f43b08a02c7399321be Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Thu, 10 Oct 2019 23:35:51 -0400
Subject: [PATCH] Enable settings for the release build.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index a22ecd9..92f2a90 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -34,8 +34,8 @@ if (params.Type == 'STAGING') {
 if (params.Type == 'RELEASE') {
     echo "Configure Maven for RELEASE artifacts"
     options = ''
-    //maven_local_repo_path = "${agent_root_folder}/local-releases"
-    //maven_settings_file = "jenkins-releases-settings.xml"
+    maven_local_repo_path = "local-releases"
+    maven_settings_file = "jenkins-releases-settings.xml"
     echo "This will fail. RELEASES are currently disabled until further testing."
 }
 echo "Use settings file at ${maven_settings_file}"