From d54b280afe06dd95689296db9b747025e1223cea Mon Sep 17 00:00:00 2001
From: Marcus Shawcroft <marcus.shawcroft@gmail.com>
Date: Tue, 5 Apr 2016 16:40:16 +0100
Subject: [PATCH] Support debug-info in build.

---
 tools/toolchains/__init__.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/toolchains/__init__.py b/tools/toolchains/__init__.py
index 489d09caab..b821e25bdf 100644
--- a/tools/toolchains/__init__.py
+++ b/tools/toolchains/__init__.py
@@ -312,7 +312,7 @@ class mbedToolchain:
             toolchain_labels = [c.__name__ for c in getmro(self.__class__)]
             toolchain_labels.remove('mbedToolchain')
             self.labels = {
-                'TARGET': self.target.get_labels(),
+                'TARGET': self.target.get_labels() + ["DEBUG" if "debug-info" in self.options else "RELEASE"],
                 'TOOLCHAIN': toolchain_labels
             }
         return self.labels