diff options
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/interp/g-timer.boot | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 1739d799..4aed7eec 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2008-08-21 Grégory Vanuxem <g.vanuxem@orange.fr> + + * interp/g-timer.boot (printTimeIfTrue): Don't compute the + quotient of the integer division. + 2008-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu> * lisp/core.lisp.in (|systemRootDirectory|): Lookup option by name. diff --git a/src/interp/g-timer.boot b/src/interp/g-timer.boot index 8b00c522..09a272e7 100644 --- a/src/interp/g-timer.boot +++ b/src/interp/g-timer.boot @@ -224,7 +224,7 @@ computeElapsedTime() == currentGCTime:= elapsedGcTime() gcDelta := currentGCTime - $oldElapsedGCTime elapsedSeconds:= - 1.* QUOTIENT(currentTime-$oldElapsedTime-gcDelta,$timerTicksPerSecond) + 1.* (currentTime-$oldElapsedTime-gcDelta)/$timerTicksPerSecond PUT('gc, 'TimeTotal,GETL('gc,'TimeTotal) + 1.*QUOTIENT(gcDelta,$timerTicksPerSecond)) $oldElapsedTime := elapsedUserTime() |