[11207] in Athena Bugs
RS/6000 7.6H tcsh builtin time command
daemon@ATHENA.MIT.EDU (John Carr)
Wed Oct 13 11:02:08 1993
To: bugs@MIT.EDU, bug-tcsh6@MIT.EDU
Date: Wed, 13 Oct 1993 11:02:03 EDT
From: John Carr <jfc@MIT.EDU>
This command
% echo ... | time <command>
ignores "time". It acts the same as
% echo ... | <command>
"cat | time command" fails in the same way.
If $time is 0, then time does print something:
% set time = 0
% echo 1 | sleep 1
0.010u 0.040s 0:01.02 4.9% 64+19k 0+0io 0pf+0w
% echo 1 | time sleep 1
0.010u 0.020s 0:01.02 2.9% 1+22k 0+0io 0pf+0w
0.030u 0.020s 0:01.02 4.9% 128+51k 0+0io 0pf+0w
SIPB tcsh has the same bug.
