Harvey Chapman, el 15 de julio a las 11:00 me escribiste: > On Jul 15, 2010, at 10:34 AM, David Boyce wrote: > > > On Wed, Jul 14, 2010 at 2:03 PM, Leandro Lucarella <[email protected]> > > 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 > ...
As I said privately, I tried env -i command and verified using strace that the exec() call was passing an empty environment to the program, and still got the same odd results, so environment variables doesn't seem to be the problem. But thanks again for the suggestion! -- Leandro Lucarella (AKA luca) http://llucax.com.ar/ ---------------------------------------------------------------------- GPG Key: 5F5A8D05 (F8CD F9A7 BF00 5431 4145 104C 949E BFB6 5F5A 8D05) ---------------------------------------------------------------------- De las generaciones venideras espero, nada más, que vengan. -- Ricardo Vaporeso _______________________________________________ Help-make mailing list [email protected] http://lists.gnu.org/mailman/listinfo/help-make
