[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: how to use a different /bin/sh with GNU Make?
From: |
Rakesh Sharma |
Subject: |
Re: how to use a different /bin/sh with GNU Make? |
Date: |
Thu, 15 Oct 2015 05:59:44 +0000 (UTC) |
User-agent: |
Loom/3.14 (http://gmane.org/) |
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