diff options
| -rwxr-xr-x | git-clone.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/git-clone.sh b/git-clone.sh index bf54a11508..24b119537b 100755 --- a/git-clone.sh +++ b/git-clone.sh @@ -414,7 +414,8 @@ Pull: refs/heads/$head_points_at:$origin_track" && case "$no_checkout" in '') - git-read-tree -m -u -v HEAD HEAD + test "z$quiet" = z && v=-v || v= + git-read-tree -m -u $v HEAD HEAD esac fi rm -f "$GIT_DIR/CLONE_HEAD" "$GIT_DIR/REMOTE_HEAD" |