The original posted of this thread should be smacked for the Subject:,
and every followup poster (including me), for not adjusting it.  :-/

* Ralf Wildenhues wrote on Tue, Sep 02, 2008 at 10:37:59PM CEST:
> 
> I think we should keep a warning (so that unwary users get aware that
> they *may* be using the wrong tools), but not the current one.  Proposed
> replacement:
> 
>   configure: WARNING: using cross tools not prefixed with host triplet


_______________________________________________
Autoconf mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/autoconf

Reply via email to