Anders Blomdell / mbed-sdk-tools

Clone of official tools

Diff: export/codered.py

Revision:
13:ab47a20b66f0
Parent:
0:66f3b5499f7f
Child:
31:8ea194f6145b
--- a/export/codered.py	Tue Jun 14 11:33:06 2016 +0100
+++ b/export/codered.py	Thu Jul 14 20:21:19 2016 +0100
@@ -22,6 +22,8 @@
     NAME = 'CodeRed'
     TOOLCHAIN = 'GCC_CR'
 
+    MBED_CONFIG_HEADER_SUPPORTED = True
+
     TARGETS = [
         'LPC1768',
         'LPC4088',
@@ -53,5 +55,6 @@
             'libraries': libraries,
             'symbols': self.get_symbols()
         }
+        ctx.update(self.progen_flags)
         self.gen_file('codered_%s_project.tmpl' % self.target.lower(), ctx, '.project')
         self.gen_file('codered_%s_cproject.tmpl' % self.target.lower(), ctx, '.cproject')