Lines Matching refs:mips3
799 mips3*-*)800 basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`802 mips3*)803 basic_machine=`echo $basic_machine | sed -e 's/mips3/mips64/'`-unknown
