diff --git a/configure b/configure index 7a29e82adf6c9489adcabb32fe3e16980c212c7d..fb9da6037e7c94314f34353a1478ddc0988226eb 100755 --- a/configure +++ b/configure @@ -3804,7 +3804,7 @@ EOF enabled vfp && check_insn vfp 'fadds s0, s0, s0' enabled vfpv3 && check_insn vfpv3 'vmov.f32 s0, #1.0' - [ $target_os = linux ] || + [ $target_os = linux ] || [ $target_os = android ] || map 'enabled_any ${v}_external ${v}_inline || disable $v' \ $ARCH_EXT_LIST_ARM