From eb1efee8893a97442f86174d544adbb0bf9aebb3 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Wed, 28 Sep 2022 17:07:21 +0200
Subject: [PATCH] fixed mv wildcard

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 5f6fec0..6e3f622 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -85,7 +85,7 @@ pipeline {
                   date=`date`;
                   mkdir -p ${DEPLOY_FILE_ROOT_FOLDER}
                   mkdir -p "${WORKSPACE}/CD"
-                  mv -v "${DEPLOY_FILE_ROOT_FOLDER}\*" "${WORKSPACE}"
+                  mv -v "${DEPLOY_FILE_ROOT_FOLDER}'*''" "${WORKSPACE}"
                 '''
             }
         }