[project @ 2005-11-03 16:22:15 by simonmar]
authorsimonmar <unknown>
Thu, 3 Nov 2005 16:22:15 +0000 (16:22 +0000)
committersimonmar <unknown>
Thu, 3 Nov 2005 16:22:15 +0000 (16:22 +0000)
commitd8afa7c91f1e6658937cb2e89cfeff6408361699
treeea9fcfbd82171e1142128d58309dd308fe658c9d
parent46a18311f08f3e788e2161bde31f45af41867902
[project @ 2005-11-03 16:22:15 by simonmar]
Improve the Win32 implementation of the time-measurement stuff.  Now
supports per-thread CPU time, and the elapsed time should be correct
(previously it was the sum of user time & kernel time, which isn't
what we want).
ghc/rts/win32/GetTime.c