diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/utils | 5 |
1 files changed, 2 insertions, 3 deletions
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 } |