| Index: third_party/cython/src/Cython/Plex/Timing.py
|
| diff --git a/third_party/cython/src/Cython/Plex/Timing.py b/third_party/cython/src/Cython/Plex/Timing.py
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..f47c5c89de7bfd3ebd9833a065edd99d5c4fef2b
|
| --- /dev/null
|
| +++ b/third_party/cython/src/Cython/Plex/Timing.py
|
| @@ -0,0 +1,22 @@
|
| +#
|
| +# Get time in platform-dependent way
|
| +#
|
| +
|
| +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)
|
| +
|
|
|