diff options
author | Richard M. Stallman <rms@gnu.org> | 1993-06-27 21:26:43 +0000 |
---|---|---|
committer | Richard M. Stallman <rms@gnu.org> | 1993-06-27 21:26:43 +0000 |
commit | 7d5a0567c35914b6e98889878f48263017f11952 (patch) | |
tree | dc5e251699527f34940bc7b2342da26c9e255896 /config.sub | |
parent | e80ef952acdfbcac17359f0ba22e3ed754aca3dc (diff) |
Canonicalize -sco4 and -sco3.2.4 to -sco3.2v4.
Diffstat (limited to 'config.sub')
-rwxr-xr-x | config.sub | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/config.sub b/config.sub index fc1c5c4661..f4a52134b8 100755 --- a/config.sub +++ b/config.sub @@ -71,6 +71,14 @@ case $os in os= basic_machine=$1 ;; + -sco4) + os=-sco3.2v4 + basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'` + ;; + -sco3.2.[4-9]*) + os=`echo $os | sed -e 's/sco3.2./sco3.2v/'` + basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'` + ;; -sco3.2v[4-9]*) # Don't forget version if it is 3.2v4 or newer. basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'` |