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

[Alexandre Oliva]

On Apr 21, 2000, Akim Demaille <[EMAIL PROTECTED]> wrote:

> To make my question about $nonopt clearer, I'd like to know if there
> is any reason to distinguish HOST when it comes from --host=HOST, and
> HOST went it comes from ./configure HOST.

I think these should be equivalent.

-- 
Alexandre Oliva    Enjoy Guaranį, see http://www.ic.unicamp.br/~oliva/
Cygnus Solutions, a Red Hat company        aoliva@{redhat, cygnus}.com
Free Software Developer and Evangelist    CS PhD student at IC-Unicamp
oliva@{lsd.ic.unicamp.br, gnu.org}   Write to mailing lists, not to me