From f2d43780287a290ec3a1b2bee0252eb43227c803 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Sat, 19 Apr 2014 12:03:13 -0700 Subject: [PATCH] tools: also show warnings with make ghci --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index ef5551a96..41a0e6b67 100644 --- a/Makefile +++ b/Makefile @@ -530,7 +530,7 @@ viewcoverage: # get a debug prompt ghci: - $(GHCI) $(INCLUDEPATHS) $(MAIN) + $(GHCI) $(WARNINGS) $(INCLUDEPATHS) $(MAIN) ghciweb: $(GHCI) $(BUILDFLAGS) $(WEBLANGEXTS) hledger-web/app/main.hs