Re: how to use a different /bin/sh with GNU Make?

[Tim Murphy]

/bin/sh is a link to /bin/bash on my machine

if you type echo $SHELL at the commandline what comes up? for me it's
"/bin/bash"

i.e. changing /bin/sh might not be helping you if your make is using
bash just because of the environment setting.

Regards,

Tim

On 13 October 2015 at 07:35, Mark Galeck <address@hidden> wrote:
> Hello,
> as root, I replaced the default /bin/sh with a shell compiled by me with 
> custom changes.  I expected GNU Make will use that shell by default , but it 
> does not - it still uses the original /bin/sh (which was really bash) even 
> though it is not there anymore.
> Why, and how to use a different compiled shell in /bin/sh with GNU Make?  (I 
> know I could force the use of a different shell by reassigning the SHELL 
> variable value.  But I want to know, how to do this with the same default 
> SHELL, just changing the file itself.).
> thank you
> Mark
> _______________________________________________
> Help-make mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/help-make



-- 
You could help some brave and decent people to have access to
uncensored news by making a donation at:

http://www.thezimbabwean.co.uk/friends/