diff options
| author |  Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2006-04-16 04:44:25 +0200 |
|---|---|---|
| committer |  Junio C Hamano <junkio@cox.net> | 2006-04-16 01:40:04 -0700 |
| commit | 402461aab17292b78bd36a17bff18e48d544cc9a (patch) | |
| tree | de1c13b64735dbdcb22ffe937d32874de0cc3b35 /name-rev.c | |
| parent | diff-options: add --patch-with-stat (diff) | |
| download | tgif-402461aab17292b78bd36a17bff18e48d544cc9a.tar.xz | |
pager: do not fork a pager if PAGER is set to empty.
This skips an extra pipe, and helps debugging tremendously.
[jc: PAGER=cat is a questionable hack and should be done as a separate
patch. ]
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'name-rev.c')
0 files changed, 0 insertions, 0 deletions