From: John Garry <john.garry@huawei.com>
Date: Thu, 24 Mar 2022 13:00:19 GMT
Subject: Re: [Question] .git folder file updates for changing head commit
Message-ID: <da0bba94-8dc2-a5c0-98f9-42182345601c@huawei.com>
In-Reply-To: <87wngkpddp.fsf@igel.home>

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