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 see none, but...

        Akim

Reply via email to