>I RTFMd gnu make manual carefully

OK, apparently not carefully enough: 
5.3.1 Choosing the Shell
says, that /bin/sh will be used by default.  If I am on DOS and gnu make is 
installed, then likely /bin/sh will be not the DOS shell!  

I should say:  
SHELL = CMD.EXE


Sorry for the dumb question, I hope this thread helps somebody in the future



_______________________________________________
Help-make mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/help-make

Reply via email to