diff options
| -rwxr-xr-x | configure | 2 | 
1 files changed, 1 insertions, 1 deletions
@@ -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 ;;  | 
