Follow-up Comment #17, bug #15718 (project make):
Okay, I've found the culprit: setting SHELL from the command-line arguments
wasn't handled as setting it from the Makefile. I think that's a bug (the
Unix version doesn't handle SHELL in any special way when it comes from the
command line), so I think it should be fixed by the attached patch .
_______________________________________________________
Additional Item Attachment:
File name: shell.dif Size:0 KB
Patch for setting SHELL= on Windows from the command line
<http://savannah.gnu.org/bugs/download.php?item_id=15718&item_file_id=3471>
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?func=detailitem&item_id=15718>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-make
