Alessandro Angelino / mbed-tools

Important changes to repositories hosted on mbed.com

Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.

To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.

It is also possible to export all your personal repositories from the account settings page.

Fork of mbed-tools by Morpheus

Diff: toolchains/gcc.py

Revision:
12:fd03da96c01a
Parent:
2:5f044fef8f98
diff -r 072037a91709 -r fd03da96c01a toolchains/gcc.py
--- 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":