shared repository: optionally allow reading to "others".

diff --git a/builtin-grep.c b/builtin-grep.c
index acc4eea36397754d317e131f999b7b77dad31e36..5fac5701e6ccebdbe83b00d2e2df19343d3aea0e 100644 (file)
--- a/builtin-grep.c
+++ b/builtin-grep.c
@@ -459,6 +459,8 @@ static int external_grep(struct grep_opt *opt, const char **paths, int cached)
                push_arg("-n");
        if (opt->regflags & REG_EXTENDED)
                push_arg("-E");
+       if (opt->regflags & REG_ICASE)
+               push_arg("-i");
        if (opt->word_regexp)
                push_arg("-w");
        if (opt->name_only)