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

Merge pull request #2674 from theotherjimmy/correct_repo_files 

tools - Correct adding repo_files
pull/2734/head
Sam Grove 2016-09-16 17:30:13 -05:00 committed by GitHub
parent bd4d29d76c f48aa248b7
commit 054f232431
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':