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

[Reinier Post]

On Tue Oct 13 12:16:48 2015, address@hidden (Mark Galeck) wrote:
> I mean, I guess my big problem is this.
> I have a massively GNU Make recursive system.  (Yes I know it is a bad thing; 
>  I did not write it myself).  
> I hacked a shell to do some custom stuff, and I want to use the hacked shell 
> with GNU Make.

I think it is a terrible idea to replace anything in /bin or /usr/bin
with something custom.  Just don't.  /bin/sh is heavily used by your OS
(e.g. during boot), you don't want to break any assumption anything
you didn't write has on how it behaves.

> I can't very well use the SHELL hack, because that would mean, I
> would have to modify every single Makefile, of which there are
> gazillions.

Something like

  find . -name Makefile | xargs -d'\n' perl -i.orig -0pe 's#^#SHELL = 
/usr/local/bin/customsh$/#'

should do the trick.

If you don't want to modify make itself, that is.

-- 
Reinier Post
TU Eindhoven