diff options
| author |  Junio C Hamano <junkio@cox.net> | 2006-05-17 02:48:13 -0700 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-05-17 02:48:13 -0700 |
| commit | 518920b764ee9150781e68217181b24d0712748e (patch) | |
| tree | 55d06665f6d346b608c60c1229b27c9995cd35be /Documentation/diff-format.txt | |
| parent | Remove old "git-grep.sh" remnants (diff) | |
| download | tgif-518920b764ee9150781e68217181b24d0712748e.tar.xz | |
builtin-grep: workaround for non GNU grep.
Some implementations do not know what to do with -H; define
NO_H_OPTION_IN_GREP when you build git if your grep lacks -H.
Most of the time, it can be worked around by prepending
/dev/null to the argument list, but that causes -L and -c to
slightly misbehave (they both expose /dev/null is given), so
when these options are given, do not run external grep that does
not understand -H.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/diff-format.txt')
0 files changed, 0 insertions, 0 deletions