Re: "times" ?!

[Tim Van Holder]

> For some reason, the generated tests/testsuite contains
>     times >at-times
> all over the place. What is "times"? I can't find it, and it isn't a
> /bin/sh builtin..

I think it's a bash builtin which reports the elapsed time
of all processes in the current shell.  I'm not sure if other
shells have similar commands.

Maybe autotest should test for this:

at_times=:
times >/dev/null 2>&1 && times=at_times

...
$at_times >at-times