On Feb 1, 2012, at 1:56 PM, Julien Cristau wrote: > On Wed, Feb 1, 2012 at 13:01:58 -0800, Jeremy Huddleston wrote: > >> yeah, that's probably cleaner (I guess it'll avoid the -*), but it should >> have the same effect. >> > I get host_os=linux-gnu here afaict, so not really the same effect, no.
Weird. I had powerpc-linux-gnu when I checked it earlier ... maybe my mind is playing tricks on me...
