+ mips3-*) # CYGNUS LOCAL
+ basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`
+ ;;
+ mips3) # CYGNUS LOCAL
+ basic_machine=mips64-unknown
+ ;;
+ dpx20 | dpx20-*) # CYGNUS LOCAL
+ basic_machine=rs6000-bull
+ os=-bosx
+ ;;
+ unixware) # CYGNUS LOCAL
+ os=-sysv4
+ basic_machine=i386-unknown
+ ;;