diff options
| -rw-r--r-- | configure.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 9e209acfb0..4b9762e09a 100644 --- a/configure.in +++ b/configure.in @@ -191,6 +191,10 @@ esac # $machine, $vendor, and $os, and changes them whenever convenient. config_machine=$host_cpu config_vendor=$host_vendor config_os=$host_os +# Don't allow vendor == "unknown" +test "$config_vendor" = unknown && config_vendor= +config_os="`echo $config_os | sed 's/^unknown-//'`" + # Some configurations imply other options. case "$host_os" in gnu* | linux* | bsd4.4* | netbsd* | freebsd*) |