Lines Matching refs:mips3
717 mips3*-*)718 basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`720 mips3*)721 basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`-unknown
