diff options
author | Ludovic Courtès <ludo@gnu.org> | 2008-11-11 18:19:24 +0100 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2009-01-12 23:31:50 +0100 |
commit | b9ecffc508d4c1db02937584b3ccc16533889156 (patch) | |
tree | 7a78fc76fecf250189ec1b436ea3dc18a578d478 /gc-benchmarks | |
parent | 1b04c499c4cb463da4f8d6d6af1251677b2c87fb (diff) |
gc-profile: Show the result of `(version)'.
* gc-benchmarks/gc-profile.scm (main): Show `(version)'.
Diffstat (limited to 'gc-benchmarks')
-rwxr-xr-x | gc-benchmarks/gc-profile.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gc-benchmarks/gc-profile.scm b/gc-benchmarks/gc-profile.scm index cc35242da..002bfc595 100755 --- a/gc-benchmarks/gc-profile.scm +++ b/gc-benchmarks/gc-profile.scm @@ -265,7 +265,7 @@ Report bugs to <bug-guile@gnu.org>.~%")) load))) (parameterize ((*iteration-count* (assoc-ref options 'iterations))) - (format #t "running `~a'...~%" prog) + (format #t "running `~a' with Guile ~a...~%" prog (version)) (let ((start (gettimeofday))) (dynamic-wind |