Re: [GNU Autoconf 2.59c] testsuite: 33 34 57 80 81 82 83 84 86 ... 224 failed

[Stepan Kasal]

Hello,

On Fri, May 27, 2005 at 05:28:15PM +0200, Ralf Menzel wrote:
> > So the question is how it happened that the script was started by another
> > shell then /bin/sh?
> 
> Well -- some stupid user (i.e. me) typed: `/bin/bash ./configure'. :-)

:-)

> The user interface to `configure' defines that I should either use
> 
>   ./configure ...
> or
>   CONFIG_SHELL=/my/favorite/shell /my/favorite/shell ./configure ...
...
>   /my/favorite/shell ./configure ...
> is not a proper use of configure [...]

Yes, it seems you are right.  But don't think it's something basic which
every user of autoconf knows.

I, for example, was not aware of this.  ;-)
It was pure luck that I have seen a mail by ``Ralf Wildenhues'' which
showed the practicxe.  (Just the day before I sent my previous mail.)

So I'm sure there is big space for education.  I'm afraid this is not
explained in the manual.  And the generated configure could help too:
if it can detect the improper use at least in some cases, it should
print a warning and point the use to the manual.

If you could contribute a section for the manual which would explain
this, or if you could write a patch which would implement a check,
it would be a useful contribution.

Thank you for pointing out this issue,
        Stepan Kasal