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

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

diff --git a/Jenkinsfile b/Jenkinsfile
index e950364..42c0c52 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') {