From c703c6f2950905e90b8187c76e4c4d18b82cccf1 Mon Sep 17 00:00:00 2001
From: Joey Hess <joeyh@joeyh.name>
Date: Tue, 13 Oct 2020 15:36:01 -0400
Subject: [PATCH] enable profiling in dev build

---
 Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index a3801abf19..dce3173a47 100644
--- 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