Re: PATH vs. Path ([Fwd: Returned mail: see transcript for details]

[Alessandro Vesely]

David Baird wrote:
> 
> The point is figuring out when the call to "make -v" fails.

Then it should not be called with the full path as in $(MAKE)

> If it does
> fail to find make.exe (desired result), then you succeeded in changing
> the Path from the make file.

In this respect, that patch works
https://savannah.gnu.org/bugs/?func=detailitem&item_id=12209