forked from platformio/platformio-core
Minor fixes
This commit is contained in:
@ -48,7 +48,7 @@ Local
|
|||||||
PlatformIO supports installing development platform from local directory. Here
|
PlatformIO supports installing development platform from local directory. Here
|
||||||
is supported form:
|
is supported form:
|
||||||
|
|
||||||
* file:///local/path/to/the/platform/dir
|
* ``file:///local/path/to/the/platform/dir``
|
||||||
|
|
||||||
VCS
|
VCS
|
||||||
~~~
|
~~~
|
||||||
|
@ -416,7 +416,9 @@ class PlatformBase(PlatformPackagesMixin, PlatformRunMixin):
|
|||||||
else:
|
else:
|
||||||
if id_ not in self._BOARDS_CACHE:
|
if id_ not in self._BOARDS_CACHE:
|
||||||
for boards_dir in bdirs:
|
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):
|
if not isfile(manifest_path):
|
||||||
continue
|
continue
|
||||||
_append_board(id_, manifest_path)
|
_append_board(id_, manifest_path)
|
||||||
|
Reference in New Issue
Block a user