diff options
| author | Ulrich Drepper <drepper@redhat.com> | 2000-09-05 18:54:34 +0000 |
|---|---|---|
| committer | Ulrich Drepper <drepper@redhat.com> | 2000-09-05 18:54:34 +0000 |
| commit | 2f64b65528732325af93d5f60a91d778e3ef82d5 (patch) | |
| tree | 7e798b7c9d14e91e36573f01a0b212406876bc04 /configure.in | |
| parent | e1f5699350a3ce2f77bad8173474239b08b27784 (diff) | |
(config_os): Strip out "unknown" from configuration names.
Diffstat (limited to 'configure.in')
| -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*) |