| 1234567891011121314151617181920212223 |
- #
- # Get time in platform-dependent way
- #
- from __future__ import absolute_import
- import os
- from sys import platform, exit, stderr
- if platform == 'mac':
- import MacOS
- def time():
- return MacOS.GetTicks() / 60.0
- timekind = "real"
- elif hasattr(os, 'times'):
- def time():
- t = os.times()
- return t[0] + t[1]
- timekind = "cpu"
- else:
- stderr.write(
- "Don't know how to get time on platform %s\n" % repr(platform))
- exit(1)
|
