blob: 95a02975deb65bcb647ecf3fca0e8bd1ee3f58d0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
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
|
