problem with time command? (/bin/time)

[John F Haugh II]

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?

Sounds like someone forgot to set their HZ variable correctly -

% HZ=50 /bin/time /bin/sleep 10

real         9.2
user         0.0
sys          0.1
% HZ=100 /bin/time /bin/sleep 10

real         4.7
user         0.0
sys          0.0
-- 
John F. Haugh II                             UUCP: ...!cs.utexas.edu!rpp386!jfh
Ma Bell: (512) 832-8832                           Domain: jfh at rpp386.cactus.org
"While you are here, your wives and girlfriends are dating handsome American
 movie and TV stars. Stars like Tom Selleck, Bruce Willis, and Bart Simpson."