the other jimmy / mbed-sdk-tools

Fork of mbed-sdk-tools by mbed official

Revision:
29:1210849dba19
Parent:
0:66f3b5499f7f
Child:
31:182518299918
diff -r e080013bb94e -r 1210849dba19 export/ds5_5.py
--- a/export/ds5_5.py	Mon Aug 29 10:55:42 2016 +0100
+++ b/export/ds5_5.py	Mon Aug 29 11:18:36 2016 +0100
@@ -40,6 +40,8 @@
         's_sources':'2'
     }
 
+    TOOLCHAIN = "ARM"
+
     def get_toolchain(self):
         return 'uARM' if (self.target in self.USING_MICROLIB) else 'ARM'