[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Weird performance problem

From: Leandro Lucarella
Subject: Re: Weird performance problem
Date: Wed, 14 Jul 2010 15:03:19 -0300
User-agent: Mutt/1.5.20 (2009-06-14)

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:

        bash -c 'program'

For example.

Leandro Lucarella (AKA luca)           
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

reply via email to

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