changeset 30975 | 22fbca1d11ed |
parent 30882 | 74cfc4357c64 |
child 30977 | 5a9e4dc8e4fd |
--- a/contrib/perf.py Wed Feb 15 11:53:59 2017 -0800 +++ b/contrib/perf.py Wed Feb 15 13:17:39 2017 -0800 @@ -190,13 +190,13 @@ def _timer(fm, func, title=None): results = [] - begin = time.time() + begin = util.timer() count = 0 while True: ostart = os.times() - cstart = time.time() + cstart = util.timer() r = func() - cstop = time.time() + cstop = util.timer() ostop = os.times() count += 1 a, b = ostart, ostop