1.1 --- a/config/target.in	Fri May 09 19:08:00 2014 -0700
     1.2 +++ b/config/target.in	Fri May 09 19:10:08 2014 -0700
     1.3 @@ -296,6 +296,15 @@
     1.4      prompt "Floating point:"
     1.5      depends on ARCH_SUPPORTS_WITH_FLOAT
     1.6  
     1.7 +config ARCH_FLOAT_AUTO
     1.8 +    bool
     1.9 +    prompt "auto (let gcc decide)"
    1.10 +    help
    1.11 +      Instead of explicitly passing a float option, don't
    1.12 +      pass any float options and let gcc figure it out.
    1.13 +
    1.14 +      For multilib configurations, this may help.
    1.15 +
    1.16  config ARCH_FLOAT_HW
    1.17      bool
    1.18      prompt "hardware (FPU)"
    1.19 @@ -364,6 +373,7 @@
    1.20  config ARCH_FLOAT
    1.21      string
    1.22      default ""       if ! ARCH_SUPPORTS_WITH_FLOAT
    1.23 +    default "auto"   if ARCH_FLOAT_AUTO
    1.24      default "hard"   if ARCH_FLOAT_HW
    1.25      default "soft"   if ARCH_FLOAT_SW
    1.26      default "softfp" if ARCH_FLOAT_SOFTFP