Andrew's git / gitweb.git / diff
?
discard_cache(): discard index, even if no file was mmap()ed
authorJohannes Schindelin <Johannes.Schindelin@gmx.de>
Thu, 10 Aug 2006 14:47:21 +0000 (16:47 +0200)
committerJunio C Hamano <junkio@cox.net>
Thu, 10 Aug 2006 21:30:01 +0000 (14:30 -0700)
Since add_cacheinfo() can be called without a mapped index file,
discard_cache() _has_ to discard the entries, even when
cache_mmap == NULL.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
No differences found