Added target for building GF with profiling

2004-07-14 12:44:15 +00:00
parent 6c2401e657
commit 14fb7519f2
1 changed files with 3 additions and 0 deletions
--- a/src/Makefile
+++ b/src/Makefile
@@ -116,6 +116,9 @@ tracing:
 	strip gf
 	mv gf ../bin/

+prof: GHCOPTFLAGS += -prof -auto-all -auto-dicts
+prof: all
+
 dist:
 	-rm -rf $(DIST_DIR)
 	mkdir $(DIST_DIR)