From 8074907ef827f7fe0e6ee6231250f8578410ddca Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Tue, 3 Jul 2007 05:42:43 +0000 Subject: [PATCH] profile rules --- Makefile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 582993ba3..53d7a0efa 100644 --- a/Makefile +++ b/Makefile @@ -6,13 +6,16 @@ build: Tags $(BUILD) -profile prof: +profile: $(BUILD) -prof -auto-all $(TOPROFILE) +RTS -p mv hledger.prof $(TIME).prof cat $(TIME).prof + rm -f last.prof + ln -s $(TIME).prof last.prof + ./simplifyprof.hs