Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: timing builtins

Clint Adams wrote:
> I vaguely remember this being discussed before, but I can't find any
> evidence; is it intentional that time <builtin> doesn't work?

It's a bug, but it's not easy to fix.  At least, a while ago (several
years) I had some code which fixed this in a way which convinced me I
preferred the bug.  That wasn't necessarily the best way, though.

Peter Stephenson <pws@xxxxxxx>                  Software Engineer
CSR Ltd., Science Park, Milton Road,
Cambridge, CB4 0WH, UK                          Tel: +44 (0)1223 392070

The information transmitted is intended only for the person or
entity to which it is addressed and may contain confidential 
and/or privileged material. 
Any review, retransmission, dissemination or other use of, or
taking of any action in reliance upon, this information by 
persons or entities other than the intended recipient is 
If you received this in error, please contact the sender and 
delete the material from any computer.

Messages sorted by: Reverse Date, Date, Thread, Author