diff --git a/configure b/configure index e0f38c60174a9d..0bfaf7887b7c9a 100755 --- a/configure +++ b/configure @@ -566,6 +566,7 @@ def host_arch_cc(): '__aarch64__' : 'arm64', '__arm__' : 'arm', '__i386__' : 'ia32', + '__MIPSEL__' : 'mipsel', '__mips__' : 'mips', '__PPC64__' : 'ppc64', '__PPC__' : 'ppc',