mirror of https://github.com/ARMmbed/mbed-os.git
Merge pull request #5413 from studavekar/disable_cleanup
Collect build artifacts, disable cleanuppull/5353/merge
commit
9e8a9a9a62
|
|
@ -292,7 +292,7 @@ def export_repos(config, ides, targets, examples):
|
|||
status("SUCCESS exporting")
|
||||
status("Building")
|
||||
try:
|
||||
if EXPORTERS[ide].build(example_project_name):
|
||||
if EXPORTERS[ide].build(example_project_name, cleanup=False):
|
||||
status("FAILURE building")
|
||||
build_failures.append(example_name)
|
||||
else:
|
||||
|
|
|
|||
Loading…
Reference in New Issue