From e737501db651569bc1e686b9c735823aba164ff0 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Mon, 21 Feb 2022 15:03:22 +0100
Subject: [PATCH] defined maven_activation_property. Change
 maven_activation_property empty value from "" to ''

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 42d8f78..716eb20 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,7 +2,7 @@
 import org.yaml.snakeyaml.Yaml
 
 // set the build options according to the Type of build
-def (options, maven_local_repo_path, maven_settings_file, maven_parent_file) = ['', '', '', '']
+def (options, maven_local_repo_path, maven_settings_file, maven_activation_property, maven_parent_file) = ['', '', '', '', '']
 def agent_root_folder = '/var/lib/jenkins/.m2'
 def verbose = true
 def resume = params.resume_from
@@ -19,7 +19,7 @@ if (params.Type == 'SNAPSHOT') {
     options = ''
     maven_local_repo_path = "local-snapshots"
     maven_settings_file = "jenkins-snapshots-settings.xml"
-    maven_activation_property="";
+    maven_activation_property='';
     maven_parent_file = "jenkins-snapshots-dry-run-settings.xml"
 }
 if (params.Type == 'RELEASE-DRY-RUN') {