Merge pull request #2674 from theotherjimmy/correct_repo_files

tools - Correct adding repo_files
ARMmbed · Sep 16, 2016 · 054f232 · 054f232
2 parents bd4d29d + f48aa24
commit 054f232
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/tools/toolchains/__init__.py b/tools/toolchains/__init__.py
@@ -611,7 +611,10 @@ def _add_file(self, file_path, resources, base_path, exclude_paths=None):
         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':