[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Change the default shell from an environment variable
From: |
Paul Smith |
Subject: |
Re: Change the default shell from an environment variable |
Date: |
Sun, 25 Jul 2021 15:36:24 -0400 |
User-agent: |
Evolution 3.36.5-0ubuntu1 |
On Sun, 2021-07-25 at 23:51 +0900, Masahiro Yamada wrote:
> But, since it is not possible to propagate SHELL
> down to sub-makes, we end up with adding the same setup:
>
> SHELL := /bin/bash
>
> in every sub-makefiles.
You could do something like this instead:
SHELL := /bin/bash
MAKEOVERRIDES += SHELL=/bin/bash
in the top-level makefile, then it would get passed to all sub-makes as
if you'd invoked "make SHELL=/bin/bash".
See
https://www.gnu.org/software/make/manual/html_node/Options_002fRecursion.html