From: Joey Hess <joeyh@joeyh.name>
Date: Tue, 13 Oct 2020 19:36:01 +0000 (-0400)
Subject: enable profiling in dev build
X-Git-Tag: archive/raspbian/10.20250416-2+rpi1~1^2~106^2~91
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=c703c6f2950905e90b8187c76e4c4d18b82cccf1;p=git-annex.git

enable profiling in dev build
---

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