From b8856075f5ff54b36060bb210445a86e5d6a0ff3 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Fri, 22 Apr 2022 17:03:16 +0200
Subject: [PATCH] fix sintax

---
 Jenkinsfile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d9a5100..aafe119 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -31,9 +31,7 @@ pipeline {
             steps {
                 sh '''
                   date=`date`
-//                   if [ ! -e $DEPLOY_FILE] then
                   touch $DEPLOY_FILE
-//                   fi
                 '''
             }
         }