[project @ 2001-11-20 21:39:12 by sof]
authorsof <unknown>
Tue, 20 Nov 2001 21:39:12 +0000 (21:39 +0000)
committersof <unknown>
Tue, 20 Nov 2001 21:39:12 +0000 (21:39 +0000)
commit1d5ba9bb6a270a52b60981e0954ce7d617081d74
treed7008a7083b68ce7101c53ed3d81e84f134fc53e
parent170353661c574b38d6f0e1370c92b4c2aebc6c7c
[project @ 2001-11-20 21:39:12 by sof]
getTimes (win32): Win9x OSes don't provide per-process timing data, so
GetProcessTimes() doesn't do anything interesting. So, resort to using
system-time instead to measure user/process time iff running under Win9x.
(the precision is not as good, deltas were ~6 millisecs when testing
on a Win98 box, but it's better than nothing).

This change should make profiling on Win9x boxes finally work.
ghc/rts/Stats.c