From 78483e0fdd6ccfbc4de04028d40d97a2f32bee49 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Sun, 26 Aug 2018 16:48:18 +0200 Subject: Another try --- scripts/utils | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'scripts') 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