On 7/16/15 11:48 PM, Sam Watkins wrote: > Bash Version: 4.2 > Patch Level: 37 > Release Status: release > > Description: > The time builtin does not work with set -e when a command fails. > The "time" builtin should give timing for a command regardless of exit > status.
Thanks for the report. I'll take a look.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU c...@case.edu http://cnswww.cns.cwru.edu/~chet/
