From feda5c15bd1bca5a0bf5d2740320c25240fb273a Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Thu, 25 Apr 2019 16:18:59 +0200
Subject: [PATCH] fix for spacing
---
.ci/deploy.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.ci/deploy.sh b/.ci/deploy.sh
index 74378708..b2ca0085 100644
--- a/.ci/deploy.sh
+++ b/.ci/deploy.sh
@@ -41,7 +41,7 @@ do
npm install -g npm@latest yo grunt-cli generator-reveal
npm install
- if [[ $dirName == "unstable"]]; then
+ if [[ $dirName == "unstable" ]]; then
git submodule update --init
grunt dist
mv public/* $rootDir/public/$BLADE/$dirName/.
--
GitLab