diff options
author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2006-04-16 06:44:25 +0400 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-04-16 12:40:04 +0400 |
commit | 402461aab17292b78bd36a17bff18e48d544cc9a (patch) | |
tree | de1c13b64735dbdcb22ffe937d32874de0cc3b35 /commit.c | |
parent | 293532739415d287786a312ec10849723383796e (diff) |
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 'commit.c')
0 files changed, 0 insertions, 0 deletions