[patches] MIPS: mips64: Allow configuration triplet to be mipsisa64*

[Gaye Abdoulaye Walsimou <walsimou@xxxxxxxxxxxx>]

This proposal little patch allows configuration triplet to be mipsisa64*
for mips64, as gcc-4.4.1 allows
triplets like mipsisa64*-*-linux*.

Thanks

Index: ports/sysdeps/mips/preconfigure
===================================================================
--- ports/sysdeps/mips/preconfigure	(revision 8863)
+++ ports/sysdeps/mips/preconfigure	(working copy)
@@ -1,5 +1,5 @@
 case "$machine" in
-mips64*)	base_machine=mips64
+mips64*|mipsisa64*)	base_machine=mips64
 		case "$CC $CFLAGS $CPPFLAGS " in
 		*" -mabi=n32 "*) mips_cc_abi=n32 ;;
 		*" -mabi=64 "*|*" -mabi=n64 "*) mips_cc_abi=64 ;;