Re: Do not quote $SHELL when rerunning configure

[Paul Eggert]

On 02/26/2011 06:24 AM, Ralf Wildenhues wrote:
>     config.status: do not quote $SHELL when rerunning configure.

Sure, that looks good; please install.

Is SHELL='/bin/sh -x' documented?  If not, it probably should be.