mbedmicro/mbed — pull request #242 by dinau (2014-04-01 16:06:39+00:00)
Title: [GCC_ARM][DISCO_F407VG]: Enabled "-mfloat-abi=hard" option

Changed the default setting to -mfloat-abi=hard.
If executed "make SOFTFP=1" , set to -mfloat-abi=softfp.