mbedmicro/mbed — pull request #6 by oampo (2013-06-19 12:40:40+00:00)
Title: Use correct setting for -mfpu when building for Cortex-M4 targets, and add a setting for using hard or soft floating point.

Change discussed in https://groups.google.com/forum/#!topic/mbed-devel/didoeCqf3fI