projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd8239f) | patch
builtin-grep: pass ignore case option to external grep
authorRobert Fitzsimons <robfitz@273k.net>
Tue, 6 Jun 2006 23:15:16 +0000 (23:15 +0000)
committerJunio C Hamano <junkio@cox.net>
Tue, 6 Jun 2006 23:22:45 +0000 (16:22 -0700)
commit3026402cbc60c003c4bc043368afc619e4d9b3cd
tree43a4dde385975060d98cfe71835d123fa57c0293tree | snapshot
parentdd8239f997962d94162790039b008acb6068a242commit | diff
builtin-grep: pass ignore case option to external grep

Don't just read the --ignore-case/-i option, pass the flag on to the
external grep program.

Signed-off-by: Robert Fitzsimons <robfitz@273k.net>
Signed-off-by: Junio C Hamano <junkio@cox.net>
builtin-grep.c diff | blob | history
The core git plumbing