Re: [Question] .git folder file updates for changing head commit
On 23/03/2022 21:28, Andreas Schwab wrote:
Show 7 quoted lines
> 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