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
_______________________________________________
Help-make mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/help-make
