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

Bug: time doesn't work on builtins



This was unexpected:  

zsh%  time read
hello
zsh% 

Any attempt to time a builtin generates no output whatsoever. No timings, no error message.The timed command executes in the current shell and has its usual side-effects, but the time itself does nothing.

Contrast to bash and ksh, in which time works on builtins the same as on external commands.

--
Mark J. Reed <markjreed@xxxxxxxxx>


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