Time bug work around

Stephen Weeks MLton@sourcelight.com
Sun, 15 Jul 2001 13:24:06 -0700


> My  conclusion  is that the old times system call is the thing to switch back
> to.  

Can't we work around it from within rusage.c by having
MLton_Rusage_self_stime_sec() and MLton_Rusage_self_stime_usec() store their
previous call and an adjustment amount which is always added to to the seconds.
If they notice when the time has decreased, then they inc the adjustment.