From e5b73dcd2b99769a4f42cac73b401a9bda22f4aa Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Wed, 7 Mar 2018 20:46:31 +0200 Subject: [PATCH] Fix issue when custom board is used with the same ID --- platformio/managers/platform.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/platformio/managers/platform.py b/platformio/managers/platform.py index 99da018e..f147b762 100644 --- a/platformio/managers/platform.py +++ b/platformio/managers/platform.py @@ -563,9 +563,9 @@ class PlatformBase( # pylint: disable=too-many-public-methods if not isdir(boards_dir): continue manifest_path = join(boards_dir, "%s.json" % id_) - if not isfile(manifest_path): - continue - _append_board(id_, manifest_path) + if isfile(manifest_path): + _append_board(id_, manifest_path) + break if id_ not in self._BOARDS_CACHE: raise exception.UnknownBoard(id_) return self._BOARDS_CACHE[id_] if id_ else self._BOARDS_CACHE