From 1b4d69aa8fd959c11c5e63094655f6c81710000c Mon Sep 17 00:00:00 2001
From: screamer <devnull@localhost>
Date: Tue, 5 Apr 2016 21:48:32 +0100
Subject: [PATCH] The build system respects -DUVISOR_PRESENT and dynamically
 disables floating point support

---
 tools/toolchains/__init__.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tools/toolchains/__init__.py b/tools/toolchains/__init__.py
index d7a9ddf2ab..fde3603fb3 100644
--- a/tools/toolchains/__init__.py
+++ b/tools/toolchains/__init__.py
@@ -216,6 +216,9 @@ class mbedToolchain:
         self.CHROOT = None
 
         self.mp_pool = None
+        
+        if 'UVISOR_PRESENT' in self.macros:
+            self.target.core = re.sub(r"F$", '', self.target.core)
 
     def get_output(self):
         return self.output