Re: Why host_alias?

[Roy T. Fielding]

I agree that $host should be used, but $OS is not the same as $host.
I'll try replacing host_alias when I get a chance.

Looking at the autoconf code, though, I am wondering if we should be
using $target instead.

....Roy