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

revert hack to force zipfile creation 

remove forcing to create zipfiles
pull/4916/head
JojoS 2017-08-16 18:45:39 +02:00
parent 9dc1191c60
commit e2fd0ea152
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/export/__init__.py
View File

@ -346,7 +346,7 @@ 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 , inc_repos)
files + exporter.static_files, inc_repos)
else:
zip_export(zip_proj, name, resource_dict,
files + exporter.static_files, inc_repos)

2
tools/project.py
View File

@ -235,7 +235,7 @@ def main():
if exists(EXPORT_DIR):
rmtree(EXPORT_DIR)
zip_proj = True #not bool(options.source_dir)
zip_proj = not bool(options.source_dir)
if (options.program is None) and (not options.source_dir):
args_error(parser, "one of -p, -n, or --source is required")