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

Fix incorrect reference to a filetype

pull/9967/head
Brian Daniels 2019-03-06 11:02:25 -06:00
parent 3b4a463dce
commit f1c98938c7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/export/__init__.py
View File

@ -170,7 +170,7 @@ def _inner_zip_export(resources, prj_files, inc_repos):
dest = join(target_dir, ".bld", "bldrc") dest = join(target_dir, ".bld", "bldrc")
to_zip.append(FileRef(dest, source)) to_zip.append(FileRef(dest, source))
if inc_repos: if inc_repos:
for dest, source in resources.get_file_refs(FileType.REPO_DIRS): for dest, source in resources.get_file_refs(FileType.REPO_DIR):
for root, _, files in walk(source): for root, _, files in walk(source):
for repo_file in files: for repo_file in files:
file_source = join(root, repo_file) file_source = join(root, repo_file)