diff options
| -rw-r--r-- | toolchain/gcc/common.mk | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/toolchain/gcc/common.mk b/toolchain/gcc/common.mk index 5dfbc488cd..e8ca778e6e 100644 --- a/toolchain/gcc/common.mk +++ b/toolchain/gcc/common.mk @@ -162,6 +162,13 @@ ifneq ($(GCC_ARCH),) GCC_CONFIGURE+= --with-arch=$(GCC_ARCH) endif +ifneq ($(CONFIG_SOFT_FLOAT),y) + ifeq ($(CONFIG_arm),y) + GCC_CONFIGURE+= \ + --with-float=hard + endif +endif + GCC_MAKE:= \ export SHELL="$(BASH)"; \ $(MAKE) \ |