From ff3e100b33c0bd6ac5468b3e3540a10ca15b62a3 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Wed, 8 Jun 2016 14:00:40 +0300 Subject: [PATCH] Minor fixes --- docs/userguide/platforms/cmd_install.rst | 2 +- platformio/managers/platform.py | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/docs/userguide/platforms/cmd_install.rst b/docs/userguide/platforms/cmd_install.rst index 64298e01..c43c3123 100644 --- a/docs/userguide/platforms/cmd_install.rst +++ b/docs/userguide/platforms/cmd_install.rst @@ -48,7 +48,7 @@ Local PlatformIO supports installing development platform from local directory. Here is supported form: -* file:///local/path/to/the/platform/dir +* ``file:///local/path/to/the/platform/dir`` VCS ~~~ diff --git a/platformio/managers/platform.py b/platformio/managers/platform.py index 649166ef..c27a66ec 100644 --- a/platformio/managers/platform.py +++ b/platformio/managers/platform.py @@ -416,7 +416,9 @@ class PlatformBase(PlatformPackagesMixin, PlatformRunMixin): else: if id_ not in self._BOARDS_CACHE: for boards_dir in bdirs: - manifest_path = join(bdirs, "%s.json" % id_) + 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)