[project @ 1999-09-12 14:33:56 by sof]
authorsof <unknown>
Sun, 12 Sep 1999 14:33:56 +0000 (14:33 +0000)
committersof <unknown>
Sun, 12 Sep 1999 14:33:56 +0000 (14:33 +0000)
commit5740c0e1d4379da2436027da0bfa68832fbfa512
treeb59cbb8049beded44daae50ebf846323ed778fec
parent61316922bb0112f8d03e1868e06b974f13213eb3
[project @ 1999-09-12 14:33:56 by sof]
Re-ordered code so that the POSIX-blessed time() is used in preference
to the plethora of other clock reading calls. This *should* be an OK and
non-upsetting change, but idiosyncracies of OS-supplied header files may
just force me to rethink. We'll see..
ghc/lib/std/cbits/getClockTime.c