i[34567]86)
basic_machine=$basic_machine-pc
;;
x86_64-*)
basic_machine=x86_64-pc
# Object if more than one company name word.
*-*-*)
echo Invalid configuration \`$1\': machine \`$basic_machine\' not recognized 1>&2