From 7f1a2be84e540b13c7fb40b8bfcf82414e26131d Mon Sep 17 00:00:00 2001
From: "roberto.cirillo" <roberto.cirillo@isti.cnr.it>
Date: Tue, 4 Oct 2022 11:12:30 +0200
Subject: [PATCH] small fix

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 972f10c..bba9859 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -312,8 +312,8 @@ def cleanup(def DEPLOY_FILE, def BACKUP_FILE){
 //clean and update the local deploy file
 def clean(def files){
     sh '''
-        echo "parsing $files";
-        for file in `ls $dirPath`; do
+        echo "parsing ${files}";
+        for file in `ls $files`; do
 	        echo "cleaning $file";
 	        if [ -f $file ]; then
 	                rm $file;