summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 129fa60)
raw | patch | inline | side by side (parent: 129fa60)
author | Kristian Høgsberg <krh@redhat.com> | |
Mon, 12 Nov 2007 20:48:22 +0000 (15:48 -0500) | ||
committer | Junio C Hamano <gitster@pobox.com> | |
Fri, 23 Nov 2007 01:05:03 +0000 (17:05 -0800) |
We're guaranteeing the user that the index will be stat-clean after
git commit. Thus, we need to call refresh_cache() for the user index too,
in the 'git commit <paths>' case.
Signed-off-by: Kristian Høgsberg <krh@redhat.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
git commit. Thus, we need to call refresh_cache() for the user index too,
in the 'git commit <paths>' case.
Signed-off-by: Kristian Høgsberg <krh@redhat.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
builtin-commit.c | patch | blob | history |
diff --git a/builtin-commit.c b/builtin-commit.c
index 2233300f40f8312adc4494fb7fc488d7c6617048..ee9fe72c61e474d736fd942f6100c370fef6c733 100644 (file)
--- a/builtin-commit.c
+++ b/builtin-commit.c
/* update the user index file */
add_files_to_cache(verbose, prefix, files);
+ refresh_cache(REFRESH_QUIET);
if (write_cache(fd, active_cache, active_nr) || close(fd))
die("unable to write new_index file");