19 lines
660 B
Markdown
19 lines
660 B
Markdown
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
|