Re: Is this a bug in autoconf? (patch included)

[Ian Lance Taylor]

   From: Akim Demaille <[EMAIL PROTECTED]>
   Date: 25 Apr 2000 13:23:24 +0200

   I don't think dying is right: up to now the tradition in Autoconf has
   always been ignore what could make sense in another ./configure even
   if not the current one.

   But I do understand that the present case is somewhat different, and
   if knowledgeable people agree it should die, I will follow you, of
   course.

An autoconf generated configure script must never die when it sees a
standard option which it happens to not support.  That would make it
impossible to assemble a tree of packages and configure them with a
single command.  I don't think it should warn, either.

Ian