problem with time command? (/bin/time)

[J.T. Conklin]

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
>
>The Csh time gives a value of 0:10.
>Is /bin/time known to be incorrect?

>From this description, and a similar expirence on a Motorola MPC, I
think that /bin/time is dividing the number of clock ticks as returned
by the times() system call by 100 rather than 60.  

I think that the /bin/time source compiles in the value of HZ from
<sys/param.h>.  If the header file is incorrect, then the wrong value
must have been compiled in.

I don't know why csh gets it right.  Perhaps it reads HZ from the
environment?

	--jtc

-- 
J.T. Conklin	Toolsmith, Language Lawyer
		...!{uunet,ubc-cs}!van-bc!jtc, jtc at wimsey.bc.ca