"Committed_by_peb"

This commit is contained in:
peb
2005-03-07 11:44:09 +00:00
parent 0259b6d6a4
commit e115675a86

View File

@@ -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