Re: [PATCH] Pass CONFIG_SHELL down if provided

[Paolo Bonzini]

Eric Blake wrote:
> Paolo Bonzini <bonzini <at> gnu.org> writes:
> 
>> Subconfigures are invoked with $SHELL, not with $CONFIG_SHELL.  And
>> config.status is also created with
>>
>> #! $SHELL
>>
>> which will not pick the CONFIG_SHELL if it was given by the user on the
>> command line.  So is this patch correct?
> 
> Yes, the concept looks correct.  However, I think you are missing 'export 
> SHELL', which could lead to bugs on the shells where variables imported from 
> the environment but subsequently modified are not passed on to child 
> processes 
> unless re-exported.  Please apply, once you've fixed that.

Okay, I added "export SHELL" to AS_INIT_GENERATED as well.

Paolo