diff --git a/gcc/config.sub b/gcc/config.sub index fc1c5c46619e521e32c9be18673027bd41682973..f4a52134b86ced5ae2e58684b5bbfaf8bec0eba7 100755 --- a/gcc/config.sub +++ b/gcc/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/'`