[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: time builtin does not work with set -e when a command fails
|
From: |
Chet Ramey |
|
Subject: |
Re: time builtin does not work with set -e when a command fails |
|
Date: |
Fri, 17 Jul 2015 08:54:01 -0400 |
|
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 |
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 chet@case.edu http://cnswww.cns.cwru.edu/~chet/