[PATCH] build: enable developer mode for all working trees

[Thomas Monjalon]

16/08/2022 10:51, Ferruh Yigit:
> On 8/10/2022 8:26 PM, Stephen Hemminger wrote:
> > On Wed, 10 Aug 2022 20:40:58 +0300
> > Dmitry Kozlyuk <dmitry.kozliuk at gmail.com> wrote:
> > 
> >> Developer mode was detected if `.git` was a directory.
> >> Linked git working trees created by `git worktree add`
> >> contain `.git` file instead of `.git` directory.
> >> Developer mode was not detected for such directories.
> >> Detect developer mode by the presence of `.git` path.
> >>
> >> Fixes: bc4617433845 ("build: enable a developer mode setting")
> >> Cc: stable at dpdk.org
> >>
> >> Signed-off-by: Dmitry Kozlyuk <dmitry.kozliuk at gmail.com>
> > Acked-by: Stephen Hemminger <stephen at networkplumber.org>
> Acked-by: Ferruh Yigit <ferruh.yigit at xilinx.com>

Good catch!
I am a user of the "git worktree" feature, it is very convenient
to do some parallel work and not mess recompilation.

Applied, thanks.