I was looking in the wrong file,
I should have compared build/gdb/config.log.
I think that I now understood the reason of the
Result in MAKE=gmake
being passed to configure script in sub-directories
via the all phony target that
for each subdirectory configure call
configure-gdb phony target
that also calls
but without using RECURSE_FLAGS_TO_PASS
Thus, the two former
get MAKE=gmake environment
while the MAKE is not set for
the last case.
In such case, gdb/configure looks for make in the
pass and thus find the BSD make which
later fails at build/gdb/gnulib level.
It is probably related to some recent change in
the top level configure...
I have no clue if and how this should be fixed.
Especially as top Makefile contains the lines:
691-# We leave this in just in case, but it is not needed anymore.
692:RECURSE_FLAGS_TO_PASS = $(BASE_FLAGS_TO_PASS)
> -----Message d'origine-----
> De : gdb-owner@... [mailto:gdb-owner@...] De la part
> de Tom Tromey
> Envoyé : lundi 2 avril 2012 16:18
> À : Pierre Muller
> Cc : 'Joel Brobecker'; gdb@... > Objet : Re: gdb/gnulib problems with BSD operating systems
> >>>>> "Pierre" == Pierre Muller <pierre.muller@...>
> Pierre> There are differences in the gdb/Makefile's (see below)
> Pierre> but I have no idea if this explains the
> Pierre> failure with all-gdb target.
> These differences look harmless to me.
> The biggest one is disabling dependency tracking, since that requires
> GNU make -- at configure time.