From d7f99a58fc2fc5ac21ee736cf38c707893972b1e Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Thu, 4 Aug 2022 15:19:39 +0200
Subject: [PATCH] create separated folder for deploy files

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 49022c2..45c4071 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -85,6 +85,7 @@ pipeline {
             steps {
                 sh '''
                   date=`date`;
+                  mkdir -p /${DEPLOY_ROOT_FOLDER}
                 '''
             }
         }