enable profiling in dev build

diff --git a/Makefile b/Makefile
index a3801abf1904752ea5e400f8ded1271b58787a4b..dce3173a47a88c93f7164c1ec681099eea3c2305 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -42,12 +42,14 @@ tmp/configure-stamp: Build/TestConfig.hs Build/Configure.hs
        mkdir -p tmp
        touch tmp/configure-stamp
 
-# Non-optimised build for development.
+# Non-optimised build for development, with profiling enabled (for memory
+# profiling).
 #
 # This leaves cabal.project.local configured for a dev build,
 # so just running make will continue to do dev builds.
 dev:
-       $(BUILDER) configure -f"-Production" -O0 --enable-executable-dynamic
+       $(BUILDER) configure -f"-Production" -O0 \
+                       --enable-executable-dynamic --enable-profiling
        mkdir -p tmp
        touch tmp/configure-stamp
        $(MAKE) git-annex