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

From	Chet Ramey <chet.ramey@case.edu>
Newsgroups	gnu.bash.bug
Subject	Re: time builtin does not work with set -e when a command fails
Date	2015-07-17 08:54 -0400
Message-ID	<mailman.7050.1437137654.904.bug-bash@gnu.org> (permalink)
References	<20150717034852.4DA111FA7FA@opal.nipl.net>

Show all headers | View raw

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/

Back to gnu.bash.bug | Previous | Next | Find similar

Thread

Re: time builtin does not work with set -e when a command fails Chet Ramey <chet.ramey@case.edu> - 2015-07-17 08:54 -0400

csiph-web