From mboxrd@z Thu Jan 1 00:00:00 1970 From: whydoubt at gmail.com (Jeff Smith) Date: Tue, 8 Aug 2017 07:03:05 -0500 Subject: [PATCH 4/4] git v2.14: change how ignore-case is specified In-Reply-To: <20170808120305.22938-1-whydoubt@gmail.com> References: <20170808120305.22938-1-whydoubt@gmail.com> Message-ID: <20170808120305.22938-5-whydoubt@gmail.com> Update to git v2.14: commit 07a3d41 (grep: remove regflags from the public grep_opt API) removed one way of specifying the ignore-case grep option. Signed-off-by: Jeff Smith --- ui-log.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ui-log.c b/ui-log.c index 245d064..2d2bb31 100644 --- a/ui-log.c +++ b/ui-log.c @@ -436,7 +436,7 @@ void cgit_print_log(const char *tip, int ofs, int cnt, char *grep, char *pattern setup_revisions(rev_argv.argc, rev_argv.argv, &rev, NULL); load_ref_decorations(DECORATE_FULL_REFS); rev.show_decorations = 1; - rev.grep_filter.regflags |= REG_ICASE; + rev.grep_filter.ignore_case = 1; rev.diffopt.detect_rename = 1; rev.diffopt.rename_limit = ctx.cfg.renamelimit; -- 2.9.4