diff options
| -rw-r--r-- | src/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
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 |