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

Exporter - condition for progen simplification

pull/1487/head
0xc0170 2015-12-07 20:22:53 +00:00
parent 5074f4814c
commit 56d4f6f9f3
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
workspace_tools/export/__init__.py
View File

@ -88,9 +88,7 @@ def export(project_path, project_name, ide, target, destination='/tmp/',
except AttributeError: except AttributeError:
pass pass
if use_progen: if use_progen:
if target in Exporter.PROGEN_TARGETS.keys(): if target not in Exporter.PROGEN_TARGETS.keys() or not ProGenDef(ide).is_supported(Exporter.PROGEN_TARGETS[target]):
progen_target = Exporter.PROGEN_TARGETS[target]
if not ProGenDef(ide).is_supported(progen_target):
supported = False supported = False
else: else:
if target not in Exporter.TARGETS: if target not in Exporter.TARGETS: