From 46a18311f08f3e788e2161bde31f45af41867902 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 3 Nov 2005 16:20:38 +0000
Subject: [PATCH] [project @ 2005-11-03 16:20:38 by simonmar] use
 getThreadCPUTime, not getProcessTimes

---
 ghc/rts/Task.c |    6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/ghc/rts/Task.c b/ghc/rts/Task.c
index b8bf1c4..44bbb95 100644
--- a/ghc/rts/Task.c
+++ b/ghc/rts/Task.c
@@ -97,7 +97,8 @@ newTask (void)
 #endif
 
 #if defined(THREADED_RTS)
-    getProcessTimes(&currentUserTime, &currentElapsedTime);
+    currentUserTime = getThreadCPUTime();
+    currentElapsedTime = getProcessElapsedTime();
     task->mut_time = 0.0;
     task->mut_etime = 0.0;
     task->gc_time = 0.0;
@@ -194,7 +195,8 @@ taskStop (Task *task)
     ASSERT(task->id == id);
     ASSERT(myTask() == task);
 
-    getProcessTimes(&currentUserTime, &currentElapsedTime);
+    currentUserTime = getThreadCPUTime();
+    currentElapsedTime = getProcessElapsedTime();
 
     // XXX this is wrong; we want elapsed GC time since the
     // Task started.
-- 
1.7.10.4