Andrew Gallatin 6d4aa00ac1 fix linux_times() to take into account linux's value of CLK_TCK on the alpha.
Previously, results were off by a factor of 10

Tested by: Yoriaki FUJIMORI <fujimori@grafin.fujimori.cache.waseda.ac.jp>
2001-03-23 19:22:21 +00:00
..
2001-03-01 21:00:17 +00:00
2000-08-25 07:32:24 +00:00
2000-12-03 01:30:31 +00:00
2000-08-25 07:32:24 +00:00
2001-02-06 11:21:58 +00:00