diff options
author | Junio C Hamano <gitster@pobox.com> | 2015-07-11 00:26:12 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2015-07-11 00:26:12 +0300 |
commit | ace6325ddf40725b07591d33dc06f3b82dba57ab (patch) | |
tree | 95a7304d0505ead1de5e8ada37a77f70a901e63e /builtin/rev-list.c | |
parent | 3cbb92054b2b9cafbf2a662f7858e5896d3e7ac4 (diff) | |
parent | c8a70d35090c490ce0e9f1354ef372b2887bea28 (diff) |
Merge branch 'jk/rev-list-no-bitmap-while-pruning'
A minor bugfix when pack bitmap is used with "rev-list --count".
* jk/rev-list-no-bitmap-while-pruning:
rev-list: disable --use-bitmap-index when pruning commits
Diffstat (limited to 'builtin/rev-list.c')
-rw-r--r-- | builtin/rev-list.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/builtin/rev-list.c b/builtin/rev-list.c index ff84a825ff..88eddbd53a 100644 --- a/builtin/rev-list.c +++ b/builtin/rev-list.c @@ -355,7 +355,7 @@ int cmd_rev_list(int argc, const char **argv, const char *prefix) if (bisect_list) revs.limited = 1; - if (use_bitmap_index) { + if (use_bitmap_index && !revs.prune) { if (revs.count && !revs.left_right && !revs.cherry_mark) { uint32_t commit_count; if (!prepare_bitmap_walk(&revs)) { |