[project @ 1999-09-16 08:33:54 by sof]
authorsof <unknown>
Thu, 16 Sep 1999 08:33:54 +0000 (08:33 +0000)
committersof <unknown>
Thu, 16 Sep 1999 08:33:54 +0000 (08:33 +0000)
commitf2419006abee6d89fcf9792c78e5bb5d14babe7e
treea1d4300a542ec730c6fbb9be699c6496d9d6eda5
parent39d37a2c44fa3b0994c4ad8e0a5baddf031aca12
[project @ 1999-09-16 08:33:54 by sof]
Disable timer ticks on 'pure' Win32 platforms unless really needed
(for profiling) -- no reason to enable it elsewhere as the Win32 bits
doesn't currently support thread{Delay,Wait{Read,Write}}#
ghc/rts/Itimer.c