From 384c3c45e4a843347c812c1a91bb6628f1377d23 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Thu, 27 Apr 2017 18:30:40 +0300 Subject: [PATCH] =?UTF-8?q?Add=20=E2=80=9Cboards=5Fdir=E2=80=9D=20to=20kno?= =?UTF-8?q?wn=20[platformio]=20option=20//=20Resolve=20#949?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- platformio/commands/run.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/platformio/commands/run.py b/platformio/commands/run.py index 0565cd43..8c6e42ca 100644 --- a/platformio/commands/run.py +++ b/platformio/commands/run.py @@ -358,8 +358,9 @@ def print_summary(results, start_time): 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", "lib_extra_dirs") + known = ("env_default", "home_dir", "lib_dir", "libdeps_dir", "src_dir", + "envs_dir", "data_dir", "test_dir", "boards_dir", + "lib_extra_dirs") unknown = set([k for k, _ in config.items("platformio")]) - set(known) if not unknown: return True