Please choose just one GNU make mailing list to ask questions on: it
gets confusing if multiple lists are involved.
On Mon, 2017-06-05 at 11:08 +, Ramya S Ganesh (RBEI/ETC5) wrote:
> We tried executing make scripts using 4.1 version of make in Windows
> 7 PC and it took a reasonable amount of
I have 3 problems with SHELL assignment on Windows (mingw32-make):
1. You must use a full name for SHELL, including the extension (SHELL=sh
doesn't work. SHELL=sh.exe does, if sh.exe exists in PATH). PATHEXT should
be used for the executable detection.
2. It looks like if PATH contain
Hello,
We tried executing make scripts using 4.1 version of make in
Windows7 PC and it took a reasonable amount of time. Whereas when we tried
executing the same scripts with the same version of make in Windows10 PC, the
time taken was enormous. Do you have any idea what might be the
