Re: [PATCH] Pass CONFIG_SHELL down if provided

[Paolo Bonzini]

>> Hmm, you were right: we are still buggy.  M4sh should be the one 
>> guaranteeing 
>> that we do SHELL=${CONFIG_SHELL-/bin/sh}, and not autoconf/general.m4.  
>> Otherwise, AS_INIT_GENERATED is broken when using m4sh but not autoconf, and 
>> when CONFIG_SHELL is not set.

I fail to understand this.  It is AS_INIT_GENERATED that writes

SHELL=\${CONFIG_SHELL-$SHELL}

to config.status.

>>  We probably ought to document that restriction 
>> as part of AS_INIT_GENERATED.  It also makes me wonder if it is possible to 
>> check whether the user is executing a script under a different shell than 
>> the 
>> #! line, in the case where they had not set CONFIG_SHELL.
> 
> AFAIK it is not easy to portably find out which shell we're under.

Throwing this in the air: what about the entry value of $_ at the top of
the script?

Paolo