mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

enable profiling in dev build

Browse source
This commit is contained in:
Joey Hess 2020-10-13 15:36:01 -04:00
parent d41795c8ff
commit c703c6f295
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Makefile
View file

@ -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