1 Feb
2012
1 Feb
'12
9:59 p.m.
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...