From 4c592b8758e4683fedf4ceabb66353db16582e51 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Thu, 24 Nov 2011 19:38:37 +0100
Subject: arch/arm: ARM supports setting the floating point type

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

diff --git a/config/arch/arm.in b/config/arch/arm.in
index b1856b4..25311c4 100644
--- a/config/arch/arm.in
+++ b/config/arch/arm.in
@@ -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
 ##
-- 
cgit v0.10.2-6-g49f6