diff --git a/src/log.py b/src/log.py index ffdc48bbb150b4f059bcd7c128e97f647c50849b..ca45f8fc8c08eb701754f9f332f65195be4cc217 100644 --- a/src/log.py +++ b/src/log.py @@ -6,8 +6,14 @@ from __future__ import division # timing function ------------------------------------------------------------- def time(): """Return elapsed CPU time, as a float, in seconds.""" - from resource import getrusage, RUSAGE_SELF - return getrusage(RUSAGE_SELF).ru_utime + import os + time_opt = os.environ.get("PYTOOLS_LOG_TIME") + if time_opt == "wall": + from time import time + return time() + else: + from resource import getrusage, RUSAGE_SELF + return getrusage(RUSAGE_SELF).ru_utime