diff options
author | Joey Hess <joey@kitenet.net> | 2011-04-21 11:23:44 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2011-04-21 11:23:44 -0400 |
commit | 82347fc5ab16823a2ad956e4cf44daaca710e48f (patch) | |
tree | 40d4c10d754b60bea358ba84ad07f3031dd58a39 /Makefile | |
parent | 2467c567713321b061c3daf92df39d4e35226c7b (diff) |
seems -rtsopts is needed now for profiling
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ PREFIX=/usr IGNORE=-ignore-package monads-fd GHCFLAGS=-O2 -Wall $(IGNORE) ifdef PROFILE -GHCFLAGS=-prof -auto-all -caf-all -fforce-recomp $(IGNORE) +GHCFLAGS=-prof -auto-all -rtsopts -caf-all -fforce-recomp $(IGNORE) endif GHCMAKE=ghc $(GHCFLAGS) --make |