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

Project - fix zip rename argument

pull/2037/head
0xc0170 2016-06-28 10:22:47 +02:00
parent af71d87adc
commit 35c90753c0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/project.py
View File

@ -210,7 +210,7 @@ if __name__ == '__main__':
setup_user_prj(project_dir[0], test.source_dir, test.dependencies)
# 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, sources_relative=sources_relative)
tmp_path, report = export(project_dir, project_name, ide, mcu, project_dir[0], project_temp, clean=clean, make_zip=zip, extra_symbols=lib_symbols, sources_relative=sources_relative)
if report['success']:
if not zip:
zip_path = join(project_temp, project_name)