2010/10/28, Thomas Schwinge <thomas@schwinge.name>: >I generally simply windened these to include > *-*-gnu*, too. > > As the triplet *-*-gnu* not only matches GNU/Hurd systems, but also > *-*-linux-gnu* and *-*-kfreebsd-gnu* we have to be a bit careful. That's what $host_os is for (as opposed to $host). In general, most cases where $host is used are gratuitous and just looking for trouble. -- Robert Millan