From b75b99fe766c57c86b71e994152c35eda8605220 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 28 Aug 2006 00:05:22 +0000 Subject: [PATCH] set property svn: r4162 --- collects/tests/mzscheme/benchmarks/common/mk-bigloo.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)))