mirror of https://github.com/ARMmbed/mbed-os.git
tools/project - export report fix name
Previously it was .zip always, even when using sources. This patch fixes it:` ``` Successful exports: * K64F::uvision path\projectfiles\uvision\Unnamed_Project_K64F ```pull/1954/head
parent
7e0e6854b9
commit
7c08e36ec7
|
|
@ -212,8 +212,10 @@ if __name__ == '__main__':
|
|||
# Export to selected toolchain
|
||||
tmp_path, report = export(project_dir, project_name, ide, mcu, project_dir[0], project_temp, clean=clean, zip=zip, extra_symbols=lib_symbols, relative=sources_relative)
|
||||
if report['success']:
|
||||
zip_path = join(EXPORT_DIR, "%s_%s_%s.zip" % (project_name, ide, mcu))
|
||||
if zip:
|
||||
if not zip:
|
||||
zip_path = join(project_temp, "%s_%s" % (project_name, mcu))
|
||||
else:
|
||||
zip_path = join(EXPORT_DIR, "%s_%s_%s.zip" % (project_name, ide, mcu))
|
||||
move(tmp_path, zip_path)
|
||||
successes.append("%s::%s\t%s"% (mcu, ide, zip_path))
|
||||
else:
|
||||
|
|
|
|||
Loading…
Reference in New Issue