From 2b059b811db03a53e8e0f8ec1a655e507851a995 Mon Sep 17 00:00:00 2001
From: peb <unknown>
Date: Mon, 9 May 2005 08:25:56 +0000
Subject: "Committed_by_peb"

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

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index b7778becb..1ef11a6a4 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -99,6 +99,7 @@ ghci-trace: GHCFLAGS += -DTRACING
 ghci-trace: ghci
 
 touch-files: 
+	rm -f GF/System/Tracing.{hi,o}
 	touch GF/System/Tracing.hs
 
 # profiling
-- 
cgit v1.2.3