From f09e4628ba5f783466acbaf00dac083de61c1e4c Mon Sep 17 00:00:00 2001
From: Begona Guereca <begonaguereca@github.com>
Date: Thu, 4 Aug 2022 17:27:42 +0000
Subject: [PATCH] Updated container script

---
 .devcontainer/setupcodespace.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.devcontainer/setupcodespace.sh b/.devcontainer/setupcodespace.sh
index 6ac5877..69ca866 100644
--- a/.devcontainer/setupcodespace.sh
+++ b/.devcontainer/setupcodespace.sh
@@ -28,7 +28,7 @@ fi
 
 # if Jenkins codespace secrets are set, spin up Jenkins instance 
 
-if [ -z "$7" -o -z "$8"] ]
+if [ -z "$7" -o -z "$8"]
 then
 else 
      echo "Jenkins secrets are set, starting Jenkins service"