diff --git a/configure b/configure
index af8b45f0b11ea0056849e2ac8e7dc2fa5631470e..707eb125648b626b584a621fed137f187e1a7548 100755
--- 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 ;;