aboutsummaryrefslogtreecommitdiff
path: root/git-pull-script
diff options
context:
space:
mode:
authorLinus Torvalds <torvalds@ppc970.osdl.org.(none)>2005-04-19 12:56:47 -0700
committerLinus Torvalds <torvalds@ppc970.osdl.org.(none)>2005-04-19 12:56:47 -0700
commit8ccfbf3279b07028035aeb58baed5c4a79b63567 (patch)
tree79c21a1f0b5ac1eab8ac9044564468048f320fd6 /git-pull-script
parenta3a65234dba0f90a0b8e06fa7b5f269fe5126761 (diff)
downloadgit-8ccfbf3279b07028035aeb58baed5c4a79b63567.tar.gz
git-8ccfbf3279b07028035aeb58baed5c4a79b63567.tar.xz
Update "git-pull-script" to use "read-tree -m" for
reading a single tree too. That should speed up a trivial merge noticeably. Also, don't bother reading back the tree we just wrote when we committed a real merge. It had better be the same one we still have..
Diffstat (limited to 'git-pull-script')
-rwxr-xr-xgit-pull-script4
1 files changed, 2 insertions, 2 deletions
diff --git a/git-pull-script b/git-pull-script
index 43114167a..77d68d7da 100755
--- a/git-pull-script
+++ b/git-pull-script
@@ -35,7 +35,7 @@ if [ "$common" == "$head" ]; then
echo "Destroying all noncommitted data!"
echo "Kill me within 3 seconds.."
sleep 3
- read-tree $merge_tree && checkout-cache -f -a && update-cache --refresh
+ read-tree -m $merge_tree && checkout-cache -f -a && update-cache --refresh
echo $merge_head > .git/HEAD
exit 0
fi
@@ -45,4 +45,4 @@ result_tree=$(write-tree) || exit 1
result_commit=$(echo "Merge $merge_repo" | commit-tree $result_tree -p $head -p $merge_head)
echo "Committed merge $result_commit"
echo $result_commit > .git/HEAD
-read-tree $result_tree && checkout-cache -f -a && update-cache --refresh
+checkout-cache -f -a && update-cache --refresh