@@ -32,7 +32,7 @@ GHC_ARGS=--make -i../src \
32 -package QuickCheck \
32 -package QuickCheck \
33 -ignore-package vty \
33 -ignore-package vty \
34 ../cbits/gwinsz.c ../cbits/set_term_timing.c ../cbits/mk_wcwidth.c \
34 ../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 \
36 -rtsopts \
36 -rtsopts \
37 -odir objects -hidir objects
37 -odir objects -hidir objects
@@ -59,5 +59,5 @@ interactive_terminal_test :
60.PHONY: core
60.PHONY: core
62− ghc-core --no-asm --no-cast -- $(GHC_ARGS) Bench
62+ ghc-core --no-asm --no-cast -- $(GHC_ARGS) benchmark