From 99f4ae14ee3d6ef5e2594231eb34851994c024c5 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 27 Apr 2011 11:43:45 -0400 Subject: [PATCH] Bigloo does not report time in centiseconds anymore (as of 3.6a). --- collects/tests/racket/benchmarks/common/auto.rkt | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/collects/tests/racket/benchmarks/common/auto.rkt b/collects/tests/racket/benchmarks/common/auto.rkt index d335a95b31..d03a2d59af 100755 --- a/collects/tests/racket/benchmarks/common/auto.rkt +++ b/collects/tests/racket/benchmarks/common/auto.rkt @@ -282,12 +282,10 @@ exec racket -qu "$0" ${1+"$@"} (map bytes->number (cdr m)))) (define (extract-bigloo-times bm str) - (let ([m (regexp-match #rx#"real: ([0-9]+) sys: ([0-9]+) user: ([0-9]+)" str)] - ;; `time' result is 10s of milliseconds? OS ticks, maybe? - [msec/tick 10]) - (list (* msec/tick (+ (bytes->number (caddr m)) - (bytes->number (cadddr m)))) - (* msec/tick (bytes->number (cadr m))) + (let ([m (regexp-match #rx#"real: ([0-9]+) sys: ([0-9]+) user: ([0-9]+)" str)]) + (list (+ (bytes->number (caddr m)) + (bytes->number (cadddr m))) + (bytes->number (cadr m)) 0))) (define (extract-larceny-times bm str)