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

[Mark Galeck]

All right, after all I will have to modify Make source code.  
David's idea is very good... for recursive Make systems.  
Unfortunately in practice, a system like does not just have Make calls itself 
recursively, that would be too simple :)  
It has Make call various scripts, which then may call Make and so on and so 
forth...  Really, the only fool-proof way in such cases, to change the shell, 
is to replace /bin/sh and, it looks like, hack Make a little bit to make it 
always call the shell.
Paul gave me the hack, unfortunately, it is for 4.1, when I tried to do the 
similar thing for 3.81, it did not work.  I can't use 4.1 because it segfaults 
for me.  
Have to understand 3.81 code better...
Thank you everybody for your help

    

  From: David Boyce <address@hidden>
 To: Mark Galeck <address@hidden> 
Cc: Reinier Post <address@hidden>; "address@hidden" <address@hidden> 
 Sent: Tuesday, October 13, 2015 12:23 PM
 Subject: Re: how to use a different /bin/sh with GNU Make?
   
I haven’t followed this whole thread, so apologies if I missed
something, but you should be able to simply override SHELL on the
command line and it will propagate into child makes. Example below.
Also, for the debugging you’re trying to do: there’s an old series
called “Ask Mr Make” (google it) with lots of useful techniques. I
think his article “Tracing Rule Execution”
(http://www.cmcrossroads.com/article/tracing-rule-execution-gnu-make)
might be illuminating about ways to do this without hacking make or
/bin/sh.