diff --git a/doc/bugs/Windows__58___substantial_per-file_cost_for___96__add__96__/comment_13_e38a372b6d9f498160369a9c3071939a._comment b/doc/bugs/Windows__58___substantial_per-file_cost_for___96__add__96__/comment_13_e38a372b6d9f498160369a9c3071939a._comment new file mode 100644 index 0000000000..9e98bffe5f --- /dev/null +++ b/doc/bugs/Windows__58___substantial_per-file_cost_for___96__add__96__/comment_13_e38a372b6d9f498160369a9c3071939a._comment @@ -0,0 +1,20 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 13""" + date="2021-09-28T18:13:08Z" + content=""" +For future reference, I modified the datalad/git-annex workflow to build on windows +to do the profiling, here's how the end of that workflow looks: + + - name: Build git-annex + run: stack install --profile --no-haddock --extra-include-dirs=$PWD --extra-lib-dirs=$PWD --local-bin-path . + + - name: profile + run: | + git init profile + cd profile + PATH=..:$PATH ../git-annex.exe init + echo foo > x + ../git-annex.exe +RTS -p -RTS smudge --clean x + cat git-annex.prof +"""]]