(config_os): Strip out "unknown" from configuration names.

This commit is contained in:
Ulrich Drepper 2000-09-05 18:54:34 +00:00
parent e1f5699350
commit 2f64b65528

View File

@ -191,6 +191,10 @@ esac
# $machine, $vendor, and $os, and changes them whenever convenient. # $machine, $vendor, and $os, and changes them whenever convenient.
config_machine=$host_cpu config_vendor=$host_vendor config_os=$host_os 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. # Some configurations imply other options.
case "$host_os" in case "$host_os" in
gnu* | linux* | bsd4.4* | netbsd* | freebsd*) gnu* | linux* | bsd4.4* | netbsd* | freebsd*)