diff -r b6faa28e76e0 -r 7da91f9ba328 config/arch/mips.in
--- a/config/arch/mips.in	Wed Nov 30 00:25:22 2011 +0100
+++ b/config/arch/mips.in	Fri Nov 09 19:42:32 2012 +0100
@@ -8,6 +8,7 @@
 ## select ARCH_DEFAULT_BE
 ## select ARCH_SUPPORTS_WITH_ARCH
 ## select ARCH_SUPPORTS_WITH_TUNE
+## select ARCH_SUPPORTS_WITH_FLOAT
 ##
 ## help The MIPS architecture, as defined by:
 ## help     http://www.mips.com/