/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 <mark_gal...@pacbell.net> 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 > Help-make@gnu.org > 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/ _______________________________________________ Help-make mailing list Help-make@gnu.org https://lists.gnu.org/mailman/listinfo/help-make
