Time bug work around

Stephen Weeks MLton@sourcelight.com
Mon, 16 Jul 2001 09:40:47 -0700


> I didn't test this much, so make sure that the numbers you get back are sane,
> but here is a file which defines  a  function  `fixedGetrusage'  which  works
> exactly  like  getrusage, but shouldn't display the Linux bugs in the user or
> system times.  Using this instead of getrusage and all  the  bugs  should  go
> away.

Looks good.  Thanks.