@@ -32,7 +32,7 @@ GHC_ARGS=--make -i../src \
3232 -package QuickCheck \
3333 -ignore-package vty \
3434 ../cbits/gwinsz.c ../cbits/set_term_timing.c ../cbits/mk_wcwidth.c \
35− -O -funbox-strict-fields -Wall -threaded -fno-full-laziness -fspec-constr -fspec-constr-count=10 \
35+ -O2 -funbox-strict-fields -Wall -threaded -fno-full-laziness -fspec-constr -fspec-constr-count=10 \
3636 -rtsopts \
3737 -odir objects -hidir objects
3838
@@ -59,5 +59,5 @@ interactive_terminal_test :
5959
6060.PHONY: core
6161core :
62− ghc-core --no-asm --no-cast -- $(GHC_ARGS) Bench
62+ ghc-core --no-asm --no-cast -- $(GHC_ARGS) benchmark
6363