Re: time builtin does not work with set -e when a command fails

2015-07-17 Thread Chet Ramey
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

time builtin does not work with set -e when a command fails

2015-07-17 Thread Sam Watkins
nipl.net 3.2.0-4-amd64 #1 SMP Debian 3.2.65-1+deb7u2 x86_64 GNU/Linux Machine Type: x86_64-pc-linux-gnu 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