[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: how to use a different /bin/sh with GNU Make?
From: |
Tim Murphy |
Subject: |
Re: how to use a different /bin/sh with GNU Make? |
Date: |
Tue, 13 Oct 2015 15:33:36 +0300 |
""
Likewise variables defined on the command line are passed to the
sub-`make' through `MAKEFLAGS'. Words in the value of `MAKEFLAGS' that
contain `=', `make' treats as variable definitions just as if they
appeared on the command line. *Note Overriding Variables: Overriding.
""
I assume this means that you can set it for the top-level make if
there is only one top-level make,
Regards,
Tim
On 13 October 2015 at 15:19, Mark Galeck <address@hidden> wrote:
>>If you want to force make to always start a shell and never use the fast
>
>
> path the best way is to name your shell something else, like /bin/mgsh
> or something, then set make's SHELL variable to that path. Since make
> is no longer sure if your shell is a POSIX shell, it will never use the
> fast path.
>
>
>
>
> I know that Paul :) Every child in kindergarten knows the SHELL hack. Works
> with one Makefile. Does not work on a massively recursive system. That is
> my problem.
>
>
>
>
> _______________________________________________
> Help-make mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/help-make
--
You could help some brave and decent people to have access to
uncensored news by making a donation at:
http://www.thezimbabwean.co.uk/friends/