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

Merge pull request #4923 from JojoS62/fix_export_static_files 

fix export static_files to zip
pull/4940/head
Jimmy Brisson 2017-08-18 10:43:01 -05:00 committed by GitHub
parent 2dc4bef010 9d77dffc2a
commit c72d60a9e6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/export/__init__.py
View File

@ -345,10 +345,10 @@ def export_project(src_paths, export_path, target, ide, libraries_paths=None,
resource.add(res)
if isinstance(zip_proj, basestring):
zip_export(join(export_path, zip_proj), name, resource_dict,
files + exporter.static_files, inc_repos)
files + list(exporter.static_files), inc_repos)
else:
zip_export(zip_proj, name, resource_dict,
files + exporter.static_files, inc_repos)
files + list(exporter.static_files), inc_repos)
else:
for static_file in exporter.static_files:
if not exists(join(export_path, basename(static_file))):