From 95b03417bcb23314e140acd089c24207ec210099 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Wed, 28 Sep 2022 15:59:30 +0200
Subject: [PATCH] fix mv

---
 Jenkinsfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9958357..19c1910 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -84,7 +84,6 @@ pipeline {
                 sh '''
                   date=`date`;
                   mkdir -p ${DEPLOY_FILE_ROOT_FOLDER}
-
                   mkdir -p "${WORKSPACE}/CD"
                   mv -v "${DEPLOY_FILE_ROOT_FOLDER}*" ... "${WORKSPACE}"
                 '''