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
