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 /revision.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 'revision.c')
0 files changed, 0 insertions, 0 deletions