From 3f77e880a6b24b18a05c263f05e0d70e7dd546c9 Mon Sep 17 00:00:00 2001
From: Rhiannon Morris <rhi@rhiannon.website>
Date: Wed, 5 May 2021 13:45:22 +0200
Subject: [PATCH] tweak makefile

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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