Isn't this the same issue that Linux works-around in its top-level makefile by re-calling MAKE on itself?
On 30/12/2021 15:35, Paul Smith wrote: > On Thu, 2021-12-30 at 15:16 +0100, Reto wrote: >> Do you want me to file a bug report somewhere? > > You can create a bug, with or without creating an account, on Savannah: > > https://savannah.gnu.org/bugs/?group=make&func=additem > > Thanks! > >
