From 9c54ae0273f3c3d92a50543a56f6d3de7e26bf2b Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Tue, 20 Sep 2022 16:01:31 +0200
Subject: [PATCH] Update 'Jenkinsfile'

fix sintax
---
 Jenkinsfile | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 6467fba..0918501 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -12,8 +12,8 @@ pipeline {
     }
     environment {
         JAVA_HOME='/usr/lib/jvm/java-8-openjdk-amd64'
-        GIT_URL= "${params.GIT_URL}"
-        GIT_BRANCH= "${params.GIT_BRANCH}"
+        GIT_URL= '${params.GIT_URL}'
+        GIT_BRANCH= '${params.GIT_BRANCH}'
     }
     stages {
         stage('Checkout git project') {
@@ -21,8 +21,9 @@ pipeline {
                 echo " env GIT_URL: ${env.GIT_URL}"
                 echo " env GIT_BRANCH: ${env.GIT_BRANCH}"
                 echo " param GIT_URL: ${params.GIT_URL}"
+                echo " env GIT_BRANCH: ${params.GIT_BRANCH}"
                 echo " GIT_URL: ${GIT_URL}"
-                echo " param GIT_BRANCH: ${params.GIT_BRANCH}"
+                echo " GIT_BRANCH: ${GIT_BRANCH}"
                 git branch: '${GIT_BRANCH}', credentialsId: '88b54962-1c0e-49cb-8155-22276860f346', url: '${GIT_URL}'
             }
         }