diff options
| author |  Joey Hess <joey@kitenet.net> | 2011-04-05 14:00:51 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2011-04-05 14:00:51 -0400 |
| commit | 094983a2bdbb7cbf2aea96addd3afe1ddedc6c69 (patch) | |
| tree | 96e24fea35a0f9987a3e78a68915be0c25bb16e4 /Makefile | |
| parent | 98effd040b577fc3dab0be53df493205de15d8fd (diff) | |
support PROFILE=1 to enable profiling
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -1,5 +1,9 @@ PREFIX=/usr -GHCFLAGS=-O2 -Wall -ignore-package monads-fd +IGNORE=-ignore-package monads-fd +GHCFLAGS=-O2 -Wall -ignore-package $(IGNORE) +ifdef PROFILE +GHCFLAGS=-prof -auto-all -caf-all -fforce-recomp $(IGNORE) +endif GHCMAKE=ghc $(GHCFLAGS) --make bins=git-annex git-annex-shell |