Re: "times" ?!

[Akim Demaille]

| Yes - I don't have "times" anywhere.. It does say ! /bin/sh at the top
| of testsuite afterall, not some other shell. eg. of output from testsuite:
| 
|   1: tools.at:47       times: not found
| FAILED near `tools.at:83'

Thanks!

What is your platform?  How does

:; times >at-times 2>/dev/null; echo $?

behave?

how does Tim's proposal work?

at_times=:
times >dev/null 2>&1 && at_times=times
$times >at-times
echo $?