Alessandro Angelino / mbed-tools

Fork of mbed-tools by Morpheus

Revision:
12:fd03da96c01a
Parent:
2:5f044fef8f98
--- a/toolchains/gcc.py	Tue Apr 05 00:21:13 2016 +0100
+++ b/toolchains/gcc.py	Tue Apr 05 17:23:39 2016 +0100
@@ -46,7 +46,7 @@
         if target.core.startswith("Cortex"):
             self.cpu.append("-mthumb")
 
-        if target.core == "Cortex-M4F":
+        if target.core == "Cortex-M4F" and "UVISOR_PRESENT=1" not in self.get_symbols():
             self.cpu.append("-mfpu=fpv4-sp-d16")
             self.cpu.append("-mfloat-abi=softfp")
         elif target.core == "Cortex-M7F":