arch/arm: ARM supports setting the floating point type
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Thu Nov 24 19:38:37 2011 +0100 (2011-11-24)
changeset 279066ef6171f65e
parent 2789 e6b5bd481942
child 2791 3722437d10a2
arch/arm: ARM supports setting the floating point type

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
config/arch/arm.in
     1.1 --- a/config/arch/arm.in	Fri Nov 25 23:57:55 2011 +0100
     1.2 +++ b/config/arch/arm.in	Thu Nov 24 19:38:37 2011 +0100
     1.3 @@ -9,6 +9,7 @@
     1.4  ## select ARCH_SUPPORTS_WITH_ARCH
     1.5  ## select ARCH_SUPPORTS_WITH_CPU
     1.6  ## select ARCH_SUPPORTS_WITH_TUNE
     1.7 +## select ARCH_SUPPORTS_WITH_FLOAT
     1.8  ## select ARCH_SUPPORTS_WITH_FPU
     1.9  ## select ARCH_SUPPORTS_SOFTFP
    1.10  ##