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