soft-float shouldn't be used on targets with FPU

SVN-Revision: 11338

diff --git a/toolchain/Config.in b/toolchain/Config.in
index a6b0683498ca9929cc12a9d88e14752012c21231..9e5320cb7e202fe7864093bf31dc5140b3dfd19e 100644 (file)
--- a/toolchain/Config.in
+++ b/toolchain/Config.in
@@ -68,7 +68,7 @@ config SOFT_FLOAT
        bool
        prompt "Use software floating point by default" if TOOLCHAINOPTS
        default y
-       depends on arm || armeb || powerpc
+       depends on (arm || armeb || powerpc) && !HAS_FPU
        help
          If your target CPU does not have a Floating Point Unit (FPU) or a
          kernel FPU emulator, but you still wish to support floating point