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

Copy static files also when zipping

pull/4804/head
Johan Stokking 2017-07-24 21:11:09 +02:00
parent b0f5b3d768
commit f8abcf4050
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tools/export/__init__.py
View File

@ -350,9 +350,9 @@ def export_project(src_paths, export_path, target, ide, libraries_paths=None,
inc_repos)
else:
zip_export(zip_proj, name, resource_dict, files, inc_repos)
else:
for static_file in exporter.static_files:
if not exists(join(export_path, basename(static_file))):
copyfile(static_file, join(export_path, basename(static_file)))
for static_file in exporter.static_files:
if not exists(join(export_path, basename(static_file))):
copyfile(static_file, join(export_path, basename(static_file)))
return exporter