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. -- Andreas Schwab, schwab@xxxxxxxxxxxxxx GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
