File size: 472 Bytes
f07f089
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
#
#   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)