From 78483e0fdd6ccfbc4de04028d40d97a2f32bee49 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Sun, 26 Aug 2018 16:48:18 +0200
Subject: Another try

---
 scripts/utils | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/utils b/scripts/utils
index 58372c5..65ee41a 100644
--- a/scripts/utils
+++ b/scripts/utils
@@ -13,8 +13,8 @@ echo_stage() {
 git_fetch() {
 	local BRANCH="$3"
 	[ -n "$BRANCH" ] || BRANCH=master
-	local GITARGS="--git-dir='$WORKSPACE/$2' --bare"
-	if [ -d "$WORKSPACE/$2/.git" ]; then
+	local GITARGS="--git-dir=\"$WORKSPACE/$2\" --bare"
+	if [ -d "$WORKSPACE/$2" ]; then
 		git $GITARGS fetch --prune --prune-tags --force "$1" "$BRANCH:$BRANCH"
 	else
 		git clone --bare "$1" "$WORKSPACE/$2"
-- 
cgit v1.2.3