From the repo (commit ecc548) I built git-annex with stack issuing this command:

stack install --executable-profiling --library-profiling --ghc-options="-rtsopts -auto-all"

then I run the output executable with +RTS -p like

git-annex version +RTS -p

and obtain the corresponding git-annex.prof with the time profile.

What I am unable to do is to get a time profile of the assistant: if I kill it the git-annex.prof file is empty, same happens if I stop the assistant with

git-annex assistant --stop

So... is there another way to time-profile a git-annex command? Am I missing something in this procedure?

Any advice is welcome

-- zarel