Re: `make profile-fast` fails with "error: No $GIT_PERF_REPO defined, and your build directory is not a repo"

Hello again, In git/Makefile, we can see that `$(MAKE) PROFILE=GEN -j1 perf` is being skipped for the `profile` target when there is no `$GIT_PERF_REPO`: https://github.com/git/git/blob/cac25fc330fc26050dcbc92c4bfff169a4848e93/Makefile#L1769-L1782 However, the same is not true for the

`make profile-fast` fails with "error: No $GIT_PERF_REPO defined, and your build directory is not a repo"

Hello, I'm trying to build a profile-optimized Git. I used to do this with the following commands: mkdir /tmp/git cd /tmp/git curl https://www.kernel.org/pub/software/scm/git/git-2.13.3.tar.xz | tar xJ cd git-2.13.3 make prefix=/usr profile man -j18 sudo make prefix=/usr