diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2008-10-07 18:08:21 +0200 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2008-10-08 07:04:44 -0700 |
| commit | cced48a808620d60e95a1e51254b135a46ddf719 (patch) | |
| tree | a377d8f23f86b27a00f88fc78e2b36e2411e93d0 /builtin-rm.c | |
| parent | daf6c2edc21ae1f018ef3829294024fc10756c8c (diff) | |
| download | git-cced48a808620d60e95a1e51254b135a46ddf719.tar.gz | |
git rm: refresh index before up-to-date check
Since "git rm" is supposed to be porcelain, we should convince it to
be user friendly by refreshing the index itself.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Diffstat (limited to 'builtin-rm.c')
| -rw-r--r-- | builtin-rm.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/builtin-rm.c b/builtin-rm.c index 50ae6d5401..e06640cf8d 100644 --- a/builtin-rm.c +++ b/builtin-rm.c @@ -137,6 +137,7 @@ int cmd_rm(int argc, const char **argv, const char *prefix) if (read_cache() < 0) die("index file corrupt"); + refresh_cache(REFRESH_QUIET); pathspec = get_pathspec(prefix, argv); seen = NULL; |