diff options
| author | Kevin Ryde <user42@zip.com.au> | 2000-10-04 00:52:36 +0200 |
|---|---|---|
| committer | Kevin Ryde <user42@zip.com.au> | 2000-10-04 00:52:36 +0200 |
| commit | c0d80293472a7bb3ea4f4b0804447fbc5ca1e357 (patch) | |
| tree | 970cac2aea056eb50a2503510af2ebc0d637c149 /config.sub | |
| parent | 883a8186ea2b0adf48858395d0d0523f425e7010 (diff) | |
| download | gmp-c0d80293472a7bb3ea4f4b0804447fbc5ca1e357.tar.gz | |
* config.sub: Don't demand "86" in CPU name for SCO.
Diffstat (limited to 'config.sub')
| -rwxr-xr-x | config.sub | 23 |
1 files changed, 14 insertions, 9 deletions
diff --git a/config.sub b/config.sub index c4123f28f..baa188113 100755 --- a/config.sub +++ b/config.sub @@ -116,44 +116,49 @@ case $os in -hiux*) os=-hiuxwe2 ;; + + # GMP change: don't demand "86" in the CPU for SCO and similar + # systems when changing the VENDOR to "pc" (or "sequent"), + # since "pentium" etc is also valid in GMP. + -sco5) os=-sco3.2v5 - basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'` + basic_machine=`echo $1 | sed -e 's/-.*/-pc/'` ;; -sco4) os=-sco3.2v4 - basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'` + basic_machine=`echo $1 | sed -e 's/-.*/-pc/'` ;; -sco3.2.[4-9]*) os=`echo $os | sed -e 's/sco3.2./sco3.2v/'` - basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'` + basic_machine=`echo $1 | sed -e 's/-.*/-pc/'` ;; -sco3.2v[4-9]*) # Don't forget version if it is 3.2v4 or newer. - basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'` + basic_machine=`echo $1 | sed -e 's/-.*/-pc/'` ;; -sco*) os=-sco3.2v2 - basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'` + basic_machine=`echo $1 | sed -e 's/-.*/-pc/'` ;; -udk*) - basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'` + basic_machine=`echo $1 | sed -e 's/-.*/-pc/'` ;; -isc) os=-isc2.2 - basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'` + basic_machine=`echo $1 | sed -e 's/-.*/-pc/'` ;; -clix*) basic_machine=clipper-intergraph ;; -isc*) - basic_machine=`echo $1 | sed -e 's/86-.*/86-pc/'` + basic_machine=`echo $1 | sed -e 's/-.*/-pc/'` ;; -lynx*) os=-lynxos ;; -ptx*) - basic_machine=`echo $1 | sed -e 's/86-.*/86-sequent/'` + basic_machine=`echo $1 | sed -e 's/-.*/-sequent/'` ;; -windowsnt*) os=`echo $os | sed -e 's/windowsnt/winnt/'` |