[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:
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
Re: Weird performance problem, Leandro Lucarella, 2010/07/14
- Re: Weird performance problem, Paul Smith, 2010/07/14
- Re: Weird performance problem, Leandro Lucarella, 2010/07/14
- Re: Weird performance problem, Leandro Lucarella, 2010/07/18
- Re: Weird performance problem, Paul Smith, 2010/07/18
- Re: Weird performance problem, David Boyce, 2010/07/18