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

Add “boards_dir” to known [platformio] option // Resolve #949

Browse Source
This commit is contained in:
Ivan Kravets
2017-04-27 18:30:40 +03:00
parent 6b0467ead5
commit 384c3c45e4
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
platformio/commands/run.py
View File

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