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