From b2e921fc7298acec9567b3db6cb3c47e81f99ec1 Mon Sep 17 00:00:00 2001 From: Jimmy Brisson Date: Wed, 20 Mar 2019 09:01:38 -0500 Subject: [PATCH] Collect excluded libraries into ignored_dirs --- tools/resources/__init__.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tools/resources/__init__.py b/tools/resources/__init__.py index 599b4c58e3..46727769e7 100644 --- a/tools/resources/__init__.py +++ b/tools/resources/__init__.py @@ -312,6 +312,10 @@ class Resources(object): if ref.name.endswith(MBED_LIB_FILENAME) ) self._excluded_libs = all_library_refs - self._libs_filtered + if self._collect_ignores: + self.ignored_dirs += [ + dirname(n) or "." for n, _ in self._excluded_libs + ] def _get_from_refs(self, file_type, key): return sorted([key(f) for f in self.get_file_refs(file_type)])