From e12e8c0c0f2fc08cee0cacaac8d6ce7b77b5d49a Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Sun, 11 Mar 2012 18:41:24 +0000 Subject: [PATCH] tools: make quite sure auto builds as quickly as possible --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 6f3e2d83a..775509b6e 100644 --- a/Makefile +++ b/Makefile @@ -16,7 +16,7 @@ BENCHEXES=hledger-0.12.1 hledger-0.13 hledger-0.14-ghc6.12.3 ledger #BENCHEXES=hledger # searchpath executable used for automatic recompilation, http://joyful.com/repos/searchpath -AUTOBUILD=sp --no-exts --no-default-map ghc --make +AUTOBUILD=sp --no-exts --no-default-map ghc --make -O0 # misc. tools BROWSE=google-chrome