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 _______________________________________________ Make-w32 mailing list [email protected] http://lists.gnu.org/mailman/listinfo/make-w32
