From: Andreas Schwab <schwab@linux-m68k.org>
Date: Wed, 23 Mar 2022 21:28:34 GMT
Subject: Re: [Question] .git folder file updates for changing head commit
Message-ID: <87wngkpddp.fsf@igel.home>
In-Reply-To: <6fa76f28-063b-8964-c0a2-642dae88f1b3@huawei.com>

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