configure: handle mipsisa64* triplet as a mips64 target

[musl] / configure

diff --git a/configure b/configure
index af8b45f..707eb12 100755 (executable)
--- a/configure
+++ b/configure
@@ -318,7 +318,7 @@ i?86*) ARCH=i386 ;;
 x86_64-x32*|x32*|x86_64*x32) ARCH=x32 ;;
 x86_64-nt64*) ARCH=nt64 ;;
 x86_64*) ARCH=x86_64 ;;
-mips64*) ARCH=mips64 ;;
+mips64*|mipsisa64*) ARCH=mips64 ;;
 mips*) ARCH=mips ;;
 microblaze*) ARCH=microblaze ;;
 or1k*) ARCH=or1k ;;