Merge pull request #6145 from theotherjimmy/exclude-file-gnuarmeclipse

Correct single file excludes for some exporters

Author: cmonr

tools/toolchains/__init__.py

@@ -727,6 +727,7 @@ def _add_file(self, file_path, resources, base_path, exclude_paths=None):
         resources.file_basepath[file_path] = base_path
 
         if self.is_ignored(relpath(file_path, base_path)):
+            resources.ignore_dir(relpath(file_path, base_path))
             return
 
         _, ext = splitext(file_path)