dgit.raspbian.org Git - git-annex.git/blob

   1 [[!comment format=mdwn
   2  username="joey"
   3  subject="""comment 13"""
   4  date="2021-09-28T18:13:08Z"
   5  content="""
   6 For future reference, I modified the datalad/git-annex workflow to build on windows
   7 to do the profiling, here's how the end of that workflow looks:
   8
   9       - name: Build git-annex
  10         run: stack install --profile --no-haddock --extra-include-dirs=$PWD --extra-lib-dirs=$PWD --local-bin-path .
  11
  12       - name: profile
  13         run: |
  14           git init profile
  15           cd profile
  16           PATH=..:$PATH ../git-annex.exe init
  17           echo foo > x
  18           ../git-annex.exe +RTS -p -RTS smudge --clean x
  19           cat git-annex.prof
  20 """]]