diff options
author | Daniel Barkalow <barkalow@iabervon.org> | 2008-02-29 00:52:44 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2008-02-29 11:00:29 +0300 |
commit | 75336878c795b746b1c67b736c96f5ef8a2b3f02 (patch) | |
tree | 6263f9c8109a3a474e68932e52e205cf763a9f18 /.gitignore | |
parent | a5aa930d506689df0f77dded8a3f5aa248b485ee (diff) |
Write index file on any checkout of files
We need to rewrite the index file when we check out files, even if we
haven't modified the blob info by reading from another tree, so that
we get the stat cache to include the fact that we just modified the
file so it doesn't need to be refreshed.
While we're at it, move everything that needs to be done to check out
some paths from a tree (or the current index) into checkout_paths().
Signed-off-by: Daniel Barkalow <barkalow@iabervon.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions