tweak makefile

This commit is contained in:
Rhiannon Morris 2021-05-05 13:45:22 +02:00
parent fbd7338a77
commit 3f77e880a6

View file

@ -1,4 +1,4 @@
CABALFLAGS ?= --verbose=0 --jobs -O CABALFLAGS ?= --jobs --enable-optimization
DATADIR := data DATADIR := data
TMPDIR := _tmp TMPDIR := _tmp