From dcf87cd664f0787be5144c0dfb0d480e6ee26946 Mon Sep 17 00:00:00 2001
From: peb <unknown>
Date: Mon, 7 Mar 2005 11:44:09 +0000
Subject: [PATCH] "Committed_by_peb"

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

diff --git a/src/Makefile b/src/Makefile
index 396abecea..5799f86ca 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -115,6 +115,9 @@ tracing:
 	strip gf
 	mv gf ../bin/
 
+ghci-trace: nofud-links 
+	$(GHCI) $(GHCFLAGS) -itrace $(GHCINCLUDENOFUD)
+
 prof: GHCOPTFLAGS += -prof -auto-all -auto-dicts
 prof: all