diff options
author | Vicent Martà <vicent@github.com> | 2013-03-04 16:19:38 -0800 |
---|---|---|
committer | Vicent Martà <vicent@github.com> | 2013-03-04 16:19:38 -0800 |
commit | b8daa9e0fc9669f0677105b5ecce5c67462a108e (patch) | |
tree | 9e9734e256ca95665fc0bc383586fd7bae300490 /src/index.c | |
parent | f6d96409a84f0b4c854da830027ff26bb10e27c3 (diff) | |
parent | cb53669e14f9a29b797d108c50d04566f82ab58f (diff) | |
download | libgit2-b8daa9e0fc9669f0677105b5ecce5c67462a108e.tar.gz |
Merge pull request #1380 from phkelley/index_icase
Disable ignore_case when writing the index to a tree
Diffstat (limited to 'src/index.c')
-rw-r--r-- | src/index.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/index.c b/src/index.c index eb3376c7a..4deafd77f 100644 --- a/src/index.c +++ b/src/index.c @@ -242,8 +242,10 @@ static unsigned int index_merge_mode( return index_create_mode(mode); } -static void index_set_ignore_case(git_index *index, bool ignore_case) +void git_index__set_ignore_case(git_index *index, bool ignore_case) { + index->ignore_case = ignore_case; + index->entries._cmp = ignore_case ? index_icmp : index_cmp; index->entries_cmp_path = ignore_case ? index_icmp_path : index_cmp_path; index->entries_search = ignore_case ? index_isrch : index_srch; @@ -372,7 +374,7 @@ int git_index_set_caps(git_index *index, unsigned int caps) } if (old_ignore_case != index->ignore_case) { - index_set_ignore_case(index, index->ignore_case); + git_index__set_ignore_case(index, index->ignore_case); } return 0; |