Re: Weird performance problem

[Leandro Lucarella]

Paul Smith, el 14 de julio a las 13:49 me escribiste:
> On Wed, 2010-07-14 at 17:27 +0000, Greg Chicares wrote:
> > If you have defined a $SHELL variable in the environment, 'make'
> > will use that instead of '/bin/sh'.
> 
> No it won't.
> 
> Per POSIX, values of SHELL in the environment are ignored by make.  You
> must specifically set SHELL in the makefile to set it.

Just to clarify, I included the shell in the command invocation to try
different shells:

all:
        bash -c 'program'

For example.

-- 
Leandro Lucarella (AKA luca)                     http://llucax.com.ar/
----------------------------------------------------------------------
GPG Key: 5F5A8D05 (F8CD F9A7 BF00 5431 4145  104C 949E BFB6 5F5A 8D05)
----------------------------------------------------------------------
El poco sol que entra, me deja ciego
Pero ni siquiera entibia mis baldozas frías
Aquí donde todo es frío y casi muerto