diff --git a/collects/tests/mzscheme/benchmarks/common/mk-bigloo.ss b/collects/tests/mzscheme/benchmarks/common/mk-bigloo.ss index e5b2e22d45..51a63d4577 100644 --- a/collects/tests/mzscheme/benchmarks/common/mk-bigloo.ss +++ b/collects/tests/mzscheme/benchmarks/common/mk-bigloo.ss @@ -11,7 +11,7 @@ (newline)) 'truncate/replace) -(when (system (format "bigloo -w -o ~a -O6 ~a.scm" +(when (system (format "bigloo -w -o ~a -copt -O3 -copt -fomit-frame-pointer -O6 ~a.scm" name name)) (delete-file (format "~a.scm" name)) (delete-file (format "~a.o" name)))