Re: Autoconf 2.53: improved fix for problems with CONFIG_SHELL=bash

[Paul Eggert]

> From: Aaron Ucko <address@hidden>
> Date: 20 Mar 2002 10:27:33 -0500
> 
> > Perhaps the installers had set BASH_ENV to point to their .bashrc?
> 
> That's my suspicion as well.  I suppose it's reasonable to declare
> their configuration too bogus to support.

Yes, I think that's right.  So let's omit the patch for now anyway;
it might break something else.

> part of the problem in this case is that configure uses CONFIG_SHELL
> as a shell for things other than configure and config.status

That change was made a while ago:

        Wed Sep  3 23:00:44 1997  Chris Provenzano  <address@hidden>

                * configure : New configure generated by autoconf.
                * Makefile.in : Set address@hidden@. configure now substiutes
                ${CONFIG_SHELL-/bin/sh} in for @SHELL@ at configure time.

Generally speaking, I think it's a good idea to use the same shell for
everything, as it's just too confusing otherwise.  However, admittedly
the documentation doesn't mention what's really going on in this area,
and this ought to get fixed....