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

Correct adding repo_files

pull/2674/head
Jimmy Brisson 2016-09-12 16:19:55 -05:00
parent e9d0fbd178
commit f48aa248b7
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tools/toolchains/__init__.py
View File

@ -611,7 +611,10 @@ class mbedToolchain:
elif ext == '.bld':
resources.lib_builds.append(file_path)
elif file == '.hgignore':
elif basename(file_path) == '.hgignore':
resources.repo_files.append(file_path)
elif basename(file_path) == '.gitignore':
resources.repo_files.append(file_path)
elif ext == '.hex':