diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2006-08-10 16:47:21 +0200 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-08-10 14:30:01 -0700 |
| commit | 4147d801db66df9b127ffe315601f467aa9d1c48 (patch) | |
| tree | d5a401cef1dd931b32e58e622e6407816baf49b5 /git-rebase.sh | |
| parent | 984b65707e25c426a32feb9b9d46f077b605cb31 (diff) | |
| download | git-4147d801db66df9b127ffe315601f467aa9d1c48.tar.gz git-4147d801db66df9b127ffe315601f467aa9d1c48.tar.xz | |
discard_cache(): discard index, even if no file was mmap()ed
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>
Diffstat (limited to 'git-rebase.sh')
0 files changed, 0 insertions, 0 deletions