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

Fixing copying of static filerefs

pull/10469/head
Brian Daniels 2019-03-06 12:11:34 -06:00 committed by adbridge
parent 286a3690bf
commit a21c0611da
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tools/export/__init__.py
View File

@ -242,10 +242,8 @@ def export_project(src_paths, export_path, target, ide, libraries_paths=None,
# Extend src_paths wit libraries_paths # Extend src_paths wit libraries_paths
if libraries_paths is not None: if libraries_paths is not None:
paths.extend(libraries_paths) paths.extend(libraries_paths)
if not isinstance(src_paths, dict): if not isinstance(src_paths, dict):
src_paths = {"": paths} src_paths = {"": paths}
# Export Directory # Export Directory
if not exists(export_path): if not exists(export_path):
makedirs(export_path) makedirs(export_path)
@ -293,7 +291,7 @@ def export_project(src_paths, export_path, target, ide, libraries_paths=None,
files + list(exporter.static_files), inc_repos, notify) files + list(exporter.static_files), inc_repos, notify)
else: else:
for static_file in exporter.static_files: for static_file in exporter.static_files:
if not exists(join(export_path, basename(static_file))): if not exists(join(export_path, basename(static_file.name))):
copyfile(static_file, join(export_path, basename(static_file))) copyfile(static_file.path, join(export_path, static_file.name))
return exporter return exporter