On Jul 15, 2010, at 10:34 AM, David Boyce wrote:
> On Wed, Jul 14, 2010 at 2:03 PM, Leandro Lucarella <[email protected]> wrote:
>> Just to clarify, I included the shell in the command invocation to try
>> different shells:
>>
>> all:
>> bash -c 'program'
>>
>> For example.
>
> This may not do what you think though - the result *could* be to execute
>
> /bin/sh -c "bash -c 'program'"
>
> The way to change shells is to set "SHELL := /bin/bash" in the Makefile.
As I recommended privately, I would check the following just to make absolutely
sure about your environment.
$ set > set_shell.txt
$ cat Makefile
SHELL:=/bin/bash
set_make.txt:
set > set_make.txt
$ make
set > set_make.txt
$ diff set_shell.txt set_make.txt
...
_______________________________________________
Help-make mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/help-make
