Follow-up Comment #2, bug #27495 (project make):
Thank you for your very helpful explanation.
One thing I don't understand yet is:
Why is /bin/echo used for SHELL unset and SHELL=/bin/sh,
whereas for SHELL=/bin/dash the builtin echo of dash is used.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?27495>
_______________________________________________
Nachricht geschickt von/durch Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-make
