From 2a90236e9a31a521e5f76365161d1c8a60ac09c9 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Wed, 16 Jan 2008 16:08:57 -0500
Subject: [PATCH] Pick performance timer by environment variable.

---
 src/log.py | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/src/log.py b/src/log.py
index ffdc48b..ca45f8f 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
 
 
 
-- 
GitLab