From db433bc409d94c3271b7c07e04371cfa64658d23 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Wed, 14 Jul 2004 12:44:15 +0000
Subject: [PATCH] Added target for building GF with profiling

---
 src/Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Makefile b/src/Makefile
index bd33ea63a..cc90f582f 100644
--- 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)