Custom boards per project with `boards_dir` option in platformio.ini // Resolve #515

This commit is contained in:
Ivan Kravets committed 2016-10-31 17:41:01 +02:00
1 parent e4a91b8343
commit 7b4d94ccfb
6 files changed
+74 -36

No files matched your search

+6 -2
View File
@@ -395,8 +395,12 @@ class PlatformBase(PlatformPackagesMixin, PlatformRunMixin):
config.manifest['platform'] = self.name
self._BOARDS_CACHE[board_id] = config
bdirs = (join(util.get_home_dir(), "boards"),
join(self.get_dir(), "boards"))
bdirs = [
util.get_projectboards_dir(),
join(util.get_home_dir(), "boards"),
join(self.get_dir(), "boards"),
]
if id_ is None:
for boards_dir in bdirs:
if not isdir(boards_dir):