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

[Aaron Ucko]

Paul Eggert <address@hidden> writes:

> 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....

I suppose that's fair; it's certainly not worth arguing with Proven about.