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

Allow exporting to in-memory zip file

pull/2245/head
Jimmy Brisson 2016-07-28 16:55:38 -05:00
parent f4a686fbd9
commit 67fae3a705
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tools/project_api.py
View File

@ -233,7 +233,10 @@ def export_project(src_paths, export_path, target, ide,
target, name, toolchain, ide,
macros=macros)
if zip_proj:
zip_export(join(export_path, zip_proj), name, temp, files)
if isinstance(zip_proj, basestring):
zip_export(join(export_path, zip_proj), name, temp, files)
else:
zip_export(zip_proj, name, temp, files)
return exporter