summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile6
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 6a1531a3c..24f1b1e1f 100644
--- a/Makefile
+++ b/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