From 74df921160e955dfa6f2fe5e1c6f1eedde4bec9a Mon Sep 17 00:00:00 2001
From: "roberto.cirillo" <roberto.cirillo@isti.cnr.it>
Date: Mon, 10 Oct 2022 17:15:12 +0200
Subject: [PATCH] small fix

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

diff --git a/Jenkinsfile b/Jenkinsfile
index ab6e163..b9545bb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -166,7 +166,7 @@ pipeline {
             }
             steps {
                 sh '''
-                   if [ "${TRIGGER_JOB}" != 'gCubeBuilder' ]
+                   if [ "${TRIGGER_JOB}" != 'gCubeBuilder' ]; then
 	                   echo "Cron build enabled. New deploy of ${TRIGGER_JOB} - ${TRIGGER_VERSION} will be added to the pending deploy file"
 	                   touch $DEPLOY_FILE;
 	                   if grep -q \"\${TRIGGER_JOB}\" \${DEPLOY_FILE}; then