Yes I agree it is terrible to replace /bin/anything permanently, or during
boot. But for me this is all just a temporary trick to achieve some temporary
result, and then I will revert. And my modification to /bin/sh is benign - it
merely writes to some file not used for other purpose, every time it interprets
a command. I can't modify Makefiles - this is a "marketing" not technical
issue. Technically I could just like you suggested, do it automatically. But
for certain marketing reasons, I have to be able to say "no Makefiles have been
modified, or, there were very minimal changes - like, one line had to be
modified".
It sounds like the simplest thing to do to keep marketing happy and do what I
need, is to hack Make a little.
Thank you again.
From: Reinier Post <reinp...@win.tue.nl>
To: help-make@gnu.org
Sent: Tuesday, October 13, 2015 11:45 AM
Subject: Re: how to use a different /bin/sh with GNU Make?
On Tue Oct 13 12:16:48 2015, mark_gal...@pacbell.net (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
_______________________________________________
Help-make mailing list
Help-make@gnu.org
https://lists.gnu.org/mailman/listinfo/help-make
_______________________________________________
Help-make mailing list
Help-make@gnu.org
https://lists.gnu.org/mailman/listinfo/help-make
