Fix issue when custom board is used with the same ID

2018-03-07 20:46:31 +02:00
parent ade6c25056
commit e5b73dcd2b
1 changed files with 3 additions and 3 deletions
--- 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