From 62186ca73acef8cf7510faf8fc84c45490675855 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Fri, 11 Oct 2019 12:02:03 -0400
Subject: [PATCH] Rename the REMOVE_LOCAL_REPO var.

---
 Jenkinsfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9516470..383a1fd 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -77,7 +77,7 @@ pipeline {
         MAVEN_SETTINGS_FILE = "${maven_settings_file}"
         MAVEN_LOCAL_REPO = "${agent_root_folder}/${maven_local_repo_path}"
         CLEANUP_GCUBE_REPO = "${params.cleanup_gcube_artifacts}"
-        CLEANUP_LOCAL_REPO = "true"
+        REMOVE_LOCAL_REPO = "true"
         GCUBE_RELEASE_NUMBER = "${params.gCube_release_version}"
         PIPELINE_BUILD_NUMBER = "${env.BUILD_NUMBER}"
     }
@@ -106,8 +106,8 @@ pipeline {
         stage('clean up before starting') {
             steps {
                 sh '''
-                echo "CLEANUP_LOCAL_REPO: $CLEANUP_LOCAL_REPO"
-                echo "CLEANUP_GCUBE_REPO: $CLEANUP_GCUBE_REPO"
+                echo "REMOVE_LOCAL_REPO: ${REMOVE_LOCAL_REPO}"
+                echo "CLEANUP_GCUBE_REPO: ${CLEANUP_GCUBE_REPO}"
                 if [ "$CLEANUP_GCUBE_REPO" = "true" ]; then
                     echo "Remove gCube artifacts from local repository"
                     rm -rf $MAVEN_LOCAL_REPO/org/gcube