From 0643e5343b89c0a23cb049a376050de3eb1bdad7 Mon Sep 17 00:00:00 2001 From: Anders Date: Fri, 27 Mar 2015 18:05:09 +0100 Subject: [PATCH] Update Makefile --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 31db06c..4e81cf6 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ -#GHC=ghc -GHC=cabal exec ghc -- +GHC=ghc +#GHC=cabal exec ghc -- OPT=2 all: -- 2.34.1