Re: [Angelo.Graziosi: Problems with patched gnu make ? (was:Need Volunteers to test patch for gnu make)]

[Eli Zaretskii]

> Date: Sun, 01 Oct 2006 12:27:23 +0200
> From: Eli Zaretskii <address@hidden>
> Cc: address@hidden
> 
> My crystal ball says that VPATH or vpath might be the culprit, so
> please try to look at those

Running "make -p" will print the VPATH database, so you could see if
there's something different between the two versions of Make in this
regard.