On 23/03/2022 21:28, Andreas Schwab wrote:
On Mär 23 2022, John Garry wrote:For building the linux perf tool we use the git head commit id as part of the tool version sting. To save time in re-building, the Makefile rule has a dependency on .git/HEAD for rebuilding.There is no guarantee that .git is a directory. In a separate worktree .git is actually a gitfile.
ok, thanks. I'll keep that in mind. John
