ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge branch 'master' of github.com:mbedmicro/mbed

pull/330/head
Rohit Grover 2014-05-26 18:28:26 +01:00
parent 6eb6b90fe9 fc2a699467
commit 3cec47a2d5
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
workspace_tools/targets.py
View File

@ -573,6 +573,8 @@ class LPC11U68(Target):
self.supported_toolchains = ["uARM"] self.supported_toolchains = ["uARM"]
self.supported_form_factors = ["ARDUINO"]
class DISCO_F100RB(Target): class DISCO_F100RB(Target):
ONLINE_TOOLCHAIN = "uARM" ONLINE_TOOLCHAIN = "uARM"
@ -615,6 +617,7 @@ class DISCO_F407VG(Target):
self.supported_toolchains = ["GCC_ARM"] self.supported_toolchains = ["GCC_ARM"]
class DISCO_F303VC(Target): class DISCO_F303VC(Target):
ONLINE_TOOLCHAIN = "uARM" ONLINE_TOOLCHAIN = "uARM"
OUTPUT_NAMING = "8.3" OUTPUT_NAMING = "8.3"