Follow-up Comment #3, bug #40241 (project make):
Thanks for the test case.
I'm reluctant to "go slow" in this case, because that would change the
semantics of the command, as it doesn't have any shell-specific features.
Instead, could you please try the attached patch?
(file #29405)
_______________________________________________________
Additional Item Attachment:
File name: w32_unix_exec_path.dif Size:0 KB
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?40241>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
