Re: Weird performance problem

[Harvey Chapman]

On Jul 15, 2010, at 10:34 AM, David Boyce wrote:

> On Wed, Jul 14, 2010 at 2:03 PM, Leandro Lucarella <address@hidden> 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
...