# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1322159917 -3600
# Node ID 66ef6171f65ea7b70f49118dccbd687561cedd47
# Parent  e6b5bd48194274dc184c37091d6ff2b3c1ff305e
arch/arm: ARM supports setting the floating point type

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>

diff -r e6b5bd481942 -r 66ef6171f65e config/arch/arm.in
--- a/config/arch/arm.in	Fri Nov 25 23:57:55 2011 +0100
+++ b/config/arch/arm.in	Thu Nov 24 19:38:37 2011 +0100
@@ -9,6 +9,7 @@
 ## select ARCH_SUPPORTS_WITH_ARCH
 ## select ARCH_SUPPORTS_WITH_CPU
 ## select ARCH_SUPPORTS_WITH_TUNE
+## select ARCH_SUPPORTS_WITH_FLOAT
 ## select ARCH_SUPPORTS_WITH_FPU
 ## select ARCH_SUPPORTS_SOFTFP
 ##