From aa607b129784f8337764cdb20499dedf07893caf Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sun, 25 Jan 2009 09:03:14 +0000
Subject: [PATCH] rename last profile to more memorable profile.prof

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 37f862d8f..084e0b608 100644
--- a/Makefile
+++ b/Makefile
@@ -62,9 +62,9 @@ buildprof prof: sampleledgers
 	@echo "Profiling $(PROFCMD)"
 	$(BUILDPROF)
 	$(RUNPROF) $(PROFCMD) #>/dev/null
-	tools/simplifyprof.hs $(PROFBIN).prof >simple.prof
-	cp simple.prof profs/$(TIME).prof
-	echo; cat simple.prof
+	tools/simplifyprof.hs $(PROFBIN).prof >profile.prof
+	cp profile.prof profs/$(TIME).prof
+	echo; cat profile.prof
 
 # run performance benchmarks and save results in profs
 # executables to test, prepend ./ to these if not in $PATH