Follow-up Comment #19, bug #15718 (project make):
The real bugs wrt SHELL that still need to be worked on are:
1. When the Windows port searches along PATH for a shell whose name is not
cmd, it does not try to append the executable extensions, so SHELL=foo would
not find foo.exe
2. If the value of SHELL is not a simple file name, Make does the wrong
thing: it decides that the shell cannot be found and uses the default value
instead.
3. There's also a mess regarding the unixy_shell flag: it is not set/reset
correctly, in some situations, if the Makefile or command line specify a
non-default shell. The correct place to set that flag is in job.c, where the
shell is actually used.
The first one is relatively easy to fix, provided that the release won't
happen before next weekend. The second and the third I suggest to postpone
until after the release.
_______________________________________________________
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
