From 7db537acf6d97bc5b61414befd87619588c5c3dd Mon Sep 17 00:00:00 2001
From: Jimmy Brisson <theotherjimmy@gmail.com>
Date: Tue, 7 Aug 2018 13:21:03 -0500
Subject: [PATCH] Fix Microlib compatibility for -t ARM

Missing from common flags:
 * `-D__MICROLIB`
 * `--library_type=microlib`

This patch adds them
---
 tools/toolchains/arm.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tools/toolchains/arm.py b/tools/toolchains/arm.py
index e7ff373606..bd6ff7f56a 100644
--- a/tools/toolchains/arm.py
+++ b/tools/toolchains/arm.py
@@ -63,8 +63,12 @@ class ARM(mbedToolchain):
         if getattr(target, "default_lib", "std") == "small":
             if "-DMBED_RTOS_SINGLE_THREAD" not in self.flags['common']:
                 self.flags['common'].append("-DMBED_RTOS_SINGLE_THREAD")
+            if "-D__MICROLIB" not in self.flags['common']:
+                self.flags['common'].append("-D__MICROLIB")
             if "--library_type=microlib" not in self.flags['ld']:
                 self.flags['ld'].append("--library_type=microlib")
+            if "--library_type=microlib" not in self.flags['common']:
+                self.flags['common'].append("--library_type=microlib")
 
         if target.core == "Cortex-M0+":
             cpu = "Cortex-M0"