From f6cd5335ca9da9cda6972c0bbfc07e30c0d311d1 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Thu, 28 Apr 2022 14:37:06 +0200
Subject: [PATCH] fix cleanup section

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 51c54bc..ba30a3e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -78,7 +78,7 @@ pipeline {
                  sh '''
                      echo "cleanup $DEPLOY_FILE"
                      if [ -f ${DEPLOY_BACKUP} ]; then
-                         echo "backup found: ${DEPLOY_BACKUP} going to replace it"
+                         echo "backup found: ${DEPLOY_BACKUP} going to replace it";
                          rm ${DEPLOY_BACKUP};
                          mv ${DEPLOY_FILE} ${DEPLOY_BACKUP};
                          touch ${DEPLOY_FILE};