diff --git a/Makefile b/Makefile index 5676980..d6139f5 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -CABALFLAGS ?= --verbose=0 --jobs -O +CABALFLAGS ?= --jobs --enable-optimization DATADIR := data TMPDIR := _tmp