[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: how to use a different /bin/sh with GNU Make?
From: |
Reinier Post |
Subject: |
Re: how to use a different /bin/sh with GNU Make? |
Date: |
Tue, 13 Oct 2015 20:45:30 +0200 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
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