diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/utils | 4 |
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" |