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

[Rakesh Sharma]

Mark Galeck <mark_galeck <at> pacbell.net> writes:

> 
> 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.
> 

The makefile(s) might be invoking /bin/sh -c '...' in their recipe sections.
and here, since you've changed the underlying /bin/sh, maybe it would not
work the same way as it was intended to in the "original" (the /bin/sh
untouched by you) shell.

--Rakesh