diff options
| author | peb <unknown> | 2005-05-09 08:25:56 +0000 |
|---|---|---|
| committer | peb <unknown> | 2005-05-09 08:25:56 +0000 |
| commit | 2b059b811db03a53e8e0f8ec1a655e507851a995 (patch) | |
| tree | 467ad9a1849bf454b22d5b2a457d09f8247041e6 /src/Makefile | |
| parent | 01696e4f86fa156d079f2febaf103fbe229ffdb1 (diff) | |
"Committed_by_peb"
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
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 |