support PROFILE=1 to enable profiling
This commit is contained in:
parent
98effd040b
commit
094983a2bd
1 changed files with 5 additions and 1 deletions
6
Makefile
6
Makefile
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue