From e1248d3187dbdf05927cb1716e13f2493700d66e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Sun, 26 Aug 2018 16:53:31 +0200 Subject: Even more fixes --- scripts/utils | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'scripts') diff --git a/scripts/utils b/scripts/utils index 65ee41a..388d399 100644 --- a/scripts/utils +++ b/scripts/utils @@ -13,11 +13,10 @@ echo_stage() { git_fetch() { local BRANCH="$3" [ -n "$BRANCH" ] || BRANCH=master - local GITARGS="--git-dir=\"$WORKSPACE/$2\" --bare" if [ -d "$WORKSPACE/$2" ]; then - git $GITARGS fetch --prune --prune-tags --force "$1" "$BRANCH:$BRANCH" + git --git-dir="$WORKSPACE/$2" --bare fetch --prune --prune-tags --force "$1" "$BRANCH:$BRANCH" else git clone --bare "$1" "$WORKSPACE/$2" fi - git $GITARGS worktree add --detach $2 $BRANCH + git --git-dir="$WORKSPACE/$2" --bare worktree add --detach $2 $BRANCH } -- cgit v1.2.3