From d298ea841a18916da1f75f1f0f5a157d2f2d5b55 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Wed, 21 Sep 2022 14:27:56 +0200
Subject: [PATCH] Update 'Jenkinsfile'

fix GIT_BRANCH var
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index fb3256b..c9e96d2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -13,7 +13,7 @@ pipeline {
     environment {
         JAVA_HOME='/usr/lib/jvm/java-8-openjdk-amd64'
         GIT_URL= "${params.GIT_URL}"
-        GIT_BRANCH="${GIT_BRANCH.split('/').size() > 1 ? GIT_BRANCH.split('/')[1..-1].join('/') : GIT_BRANCH}"
+        GIT_BRANCH="${params.GIT_BRANCH.split('/').size() > 1 ? params.GIT_BRANCH.split('/')[1..-1].join('/') : params.GIT_BRANCH}"
 //        GIT_BRANCH= "${params.GIT_BRANCH.split("/")[1]}"  
 //        GIT_BRANCH= "${params.GIT_BRANCH}"
     }