[Toybox] Would someone please explain what bash is doing here?

[Chet Ramey]

On 5/29/20 2:09 PM, Chet Ramey wrote:

>>> Bash-5.1 will change the way it does $SECONDS to use gettimeofday(), btw.
>>
>> Meanwhile, I'm fielding:
>>
>> https://github.com/landley/toybox/pull/210
> 
> Ironically, gettimeofday() is more portable.

Whoops, I sent that too early:

https://pubs.opengroup.org/onlinepubs/9699919799/functions/gettimeofday.html#tag_16_222


-- 
``The lyf so short, the craft so long to lerne.'' - Chaucer
		 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU    chet at case.edu    http://tiswww.cwru.edu/~chet/