help-make
[Top][All Lists]
Advanced

[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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]