problem with time command? (/bin/time)

[Sean Eric Fagan]

In article <1054 at van-bc.wimsey.bc.ca> jtc at van-bc.wimsey.bc.ca (J.T. Conklin) writes:
>In article <1471 at beaudin.UUCP> john at beaudin.UUCP (John Beaudin) writes:
>>On SCO Unix 3.2.2, the results of 
>>	$ /bin/time sleep 10
>>are
>>	real 5.9

On kithrup:

kithrup 1296$ /bin/time sleep 10

real        9.9
user        0.0
sys         0.0

>>The Csh time gives a value of 0:10.
>>Is /bin/time known to be incorrect?

I'd say, from experimentation, that it isn't incorrect.

I don't know what's wrong with your system; I suspect that you have changed
HZ somewhere (maybe by unsetting it?).  Do an

	echo $HZ

and see what it says (kithrup says 60).

-- 
Sean Eric Fagan  | "I made the universe, but please don't blame me for it;
sef at kithrup.COM  |  I had a bellyache at the time."
-----------------+           -- The Turtle (Stephen King, _It_)
Any opinions expressed are my own, and generally unpopular with others.