Alessandro Angelino / mbed-tools

Fork of mbed-tools by Morpheus

Revision:
12:fd03da96c01a
Parent:
10:f0b21961f610
--- a/toolchains/__init__.py	Tue Apr 05 00:21:13 2016 +0100
+++ b/toolchains/__init__.py	Tue Apr 05 17:23:39 2016 +0100
@@ -305,6 +305,10 @@
             if hasattr(self.target, 'supported_form_factors'):
                 self.symbols.extend(["TARGET_FF_%s" % t for t in self.target.supported_form_factors])
 
+            # uVisor-specific symbols
+            if "UVISOR_PRESENT=1" in self.symbols and "__FPU_PRESENT=1" in self.symbols:
+                self.symbols.remove("__FPU_PRESENT=1")
+
         return list(set(self.symbols))  # Return only unique symbols
 
     def get_labels(self):