Alessandro Angelino / mbed-tools

Fork of mbed-tools by Morpheus

Revision:
9:042963870f7a
Parent:
7:e811f5dd6560
Child:
10:f0b21961f610
--- a/toolchains/__init__.py	Thu Mar 31 23:40:06 2016 +0100
+++ b/toolchains/__init__.py	Sat Apr 02 14:08:34 2016 +0300
@@ -312,7 +312,7 @@
             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