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 <whydo...@gmail.com>
---
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
_______________________________________________
CGit mailing list
CGit@lists.zx2c4.com
https://lists.zx2c4.com/mailman/listinfo/cgit
