summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rw-r--r--scripts/utils5
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
}