From 4ff7c1c7fba4a5dc7ae677009e9a350be9ec9d79 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Mon, 2 Jul 2007 16:31:47 +0000 Subject: [PATCH] build with profile info --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 0b17f3ee0..e77c7407f 100644 --- a/Makefile +++ b/Makefile @@ -1,10 +1,11 @@ -BUILD=ghc --make hledger.hs -o hledger +BUILD=ghc --make hledger.hs -o hledger -prof -auto-all # -O2 TOPROFILE=hledger -s balance TIME=`date +"%Y%m%d%H%M"` build: Tags $(BUILD) + profile prof: $(BUILD) -prof -auto-all $(TOPROFILE) +RTS -p