diff options
| -rw-r--r-- | build/make/configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/make/configure.sh b/build/make/configure.sh index 38a15c5ee..d888268dc 100644 --- a/build/make/configure.sh +++ b/build/make/configure.sh @@ -647,7 +647,7 @@ process_common_toolchain() { armv6*) tgt_isa=armv6 ;; - armv7*-hardfloat*) + armv7*-hardfloat* | armv7*-gnueabihf | arm-*-gnueabihf) tgt_isa=armv7 float_abi=hard ;; |