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

Added permutation counter to default on-line compiler

pull/392/head
Przemek Wirkus 2014-07-08 14:09:50 +01:00
parent b0ac1e3485
commit ee1a2f5289
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
workspace_tools/build_api.py
View File

@ -258,6 +258,7 @@ def mcu_toolchain_matrix(verbose_html=False):
text = "-" text = "-"
if default_toolchain == unique_toolchain: if default_toolchain == unique_toolchain:
text = "Default" text = "Default"
perm_counter += 1
elif unique_toolchain in TARGET_MAP[target].supported_toolchains: elif unique_toolchain in TARGET_MAP[target].supported_toolchains:
text = "Supported" text = "Supported"
perm_counter += 1 perm_counter += 1