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.

Cheers,
Julien

Reply via email to