On Thursday 16 July 2009 14:50:15 Scott James Remnant wrote:
>  [case "$host_os" in
> -  gnu*)
> +  gnu*|linux-gnu)

please use "*linux*"
-mike