diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2008-12-14 21:07:09 +0100 |
|---|---|---|
| committer | Andy Wingo <wingo@pobox.com> | 2009-01-12 23:31:51 +0100 |
| commit | bf4200ca9f1b288d2eddc344fd315f8a3d199661 (patch) | |
| tree | 7a0eae71f6111e4a06faf427503d3c6ac0f728f3 | |
| parent | 1c14d7671da008cc94590031b48c236d038fa3b1 (diff) | |
Fixlet for `run-benchmark.scm'.
* gc-benchmarks/run-benchmark.scm (%default-options): Default to the
empty list for `input'.
| -rwxr-xr-x | gc-benchmarks/run-benchmark.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gc-benchmarks/run-benchmark.scm b/gc-benchmarks/run-benchmark.scm index f6a8296fc..509f978ee 100755 --- a/gc-benchmarks/run-benchmark.scm +++ b/gc-benchmarks/run-benchmark.scm @@ -176,7 +176,8 @@ exec ${GUILE-guile} -q -l "$0" \ `((reference-environment . "GUILE=guile") (benchmark-directory . "./gc-benchmarks") (log-port . ,(current-output-port)) - (profile-options . ""))) + (profile-options . "") + (input . ()))) (define (show-help) (format #t "Usage: run-benchmark [OPTIONS] BENCHMARKS... |