Re: Odd bash behaviour with time:

[Chet Ramey]

On 11/1/14 2:10 PM, Piotr Grzybowski wrote:
> Hi Chet, hi all.
> 
>  based on what you say, and some comments in parse.y ;-) isn't the
> below patch enough to get rid of the parser error for "time;echo;"
> case?

Yes, it's probably the right thing to do for maximum compatibility with
the external `time' command.  It conflicts a little bit with the `take
time out and see if the command makes sense' rule, but that's probably
OK.  Thanks for the patch.

Chet
-- 
``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/