diff options
Diffstat (limited to 'build/make/configure.sh')
| -rwxr-xr-x | build/make/configure.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/build/make/configure.sh b/build/make/configure.sh index e27af9641..f69b6d7cf 100755 --- a/build/make/configure.sh +++ b/build/make/configure.sh @@ -597,8 +597,13 @@ process_common_toolchain() { armv6*) tgt_isa=armv6 ;; + armv7*-hardfloat*) + tgt_isa=armv7 + float_abi=hard + ;; armv7*) tgt_isa=armv7 + float_abi=softfp ;; armv5te*) tgt_isa=armv5te @@ -784,8 +789,9 @@ process_common_toolchain() { check_add_asflags --defsym ARCHITECTURE=${arch_int} tune_cflags="-mtune=" if [ ${tgt_isa} == "armv7" ]; then - check_add_cflags -march=armv7-a -mfloat-abi=softfp - check_add_asflags -march=armv7-a -mfloat-abi=softfp + [ -z "${float_abi}" ] && float_abi=softfp + check_add_cflags -march=armv7-a -mfloat-abi=${float_abi} + check_add_asflags -march=armv7-a -mfloat-abi=${float_abi} if enabled neon then |