From d16a55afebbd4dc50a42e22a7f69b829438a940b Mon Sep 17 00:00:00 2001 From: Rhiannon Morris Date: Fri, 16 Apr 2021 21:35:29 +0200 Subject: [PATCH] add -O flag --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 6d84b2b..5676980 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -CABALFLAGS ?= --verbose=0 --jobs +CABALFLAGS ?= --verbose=0 --jobs -O DATADIR := data TMPDIR := _tmp