diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-08-22 01:32:11 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-08-22 01:32:11 +0000 |
| commit | 0922fc662e335bbf45ead3f07b518b9c13a48b28 (patch) | |
| tree | ed4e80458691fecf3657fccfde0c3bbe52d479cf /src | |
| parent | 418997ed442bfa87c81849a3d8e9651407b6d2ec (diff) | |
| download | open-axiom-0922fc662e335bbf45ead3f07b518b9c13a48b28.tar.gz | |
* interp/g-timer.boot (printTimeIfTrue): Don't compute the
quotient of the integer division.
Diffstat (limited to 'src')
| -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() |