diff options
Diffstat (limited to 'src/interp/g-timer.boot')
| -rw-r--r-- | src/interp/g-timer.boot | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/interp/g-timer.boot b/src/interp/g-timer.boot index 30fbfeac..94bee59f 100644 --- a/src/interp/g-timer.boot +++ b/src/interp/g-timer.boot @@ -223,8 +223,6 @@ computeElapsedTime() == currentGCTime:= elapsedGcTime() gcDelta := currentGCTime - $oldElapsedGCTime elapsedSeconds:= - -- In CCL total time does not include GC time. - $cclSystem => 1.*(currentTime-$oldElapsedTime)/$timerTicksPerSecond 1.*(currentTime-$oldElapsedTime-gcDelta)/$timerTicksPerSecond PUT('gc, 'TimeTotal,GETL('gc,'TimeTotal) + 1.*gcDelta/$timerTicksPerSecond) |