diff --git a/collects/tests/mzscheme/benchmarks/common/mk-gambit.ss b/collects/tests/mzscheme/benchmarks/common/mk-gambit.ss index 5ee3580b74..d3f3e1424b 100644 --- a/collects/tests/mzscheme/benchmarks/common/mk-gambit.ss +++ b/collects/tests/mzscheme/benchmarks/common/mk-gambit.ss @@ -7,7 +7,7 @@ name)) (when (system (format "gcc -o ~a -O2 -D___SINGLE_HOST ~a.c ~a_.c -lgambc -lm -ldl~a" name name name - (if (file-exists? "/usr/lib/libtuil.a") + (if (file-exists? "/usr/lib/libutil.a") " -lutil" ""))) (delete-file (format "~a.c" name))