feedc0de/platformio-core
1
0
Fork 0
forked from platformio/platformio-core
Code Pull Requests Activity

Added global “lib_extra_dirs” option to “[platformio]” section // Resolve #842

Browse Source
This commit is contained in:
Ivan Kravets
2016-12-05 14:43:06 +02:00
parent c75fc623cb
commit 44e11bcc33
5 changed files with 66 additions and 33 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
platformio/commands/run.py
View File

@@ -345,7 +345,7 @@ def check_project_defopts(config):
if not config.has_section("platformio"):
return True
known = ("home_dir", "lib_dir", "libdeps_dir", "src_dir", "envs_dir",
"data_dir", "test_dir", "env_default")
"data_dir", "test_dir", "env_default", "lib_extra_dirs")
unknown = set([k for k, _ in config.items("platformio")]) - set(known)
if not unknown:
return True