From 2e5dabb91374656afcfd3f97f14f3d46c3feadc2 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Fri, 25 Oct 2019 19:33:22 +0300 Subject: [PATCH] Fix issue with custom board_ options --- platformio/builder/tools/pioplatform.py | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/platformio/builder/tools/pioplatform.py b/platformio/builder/tools/pioplatform.py index a2b7679f..459b6a0b 100644 --- a/platformio/builder/tools/pioplatform.py +++ b/platformio/builder/tools/pioplatform.py @@ -96,10 +96,13 @@ def LoadPioPlatform(env): if not option.startswith("board_"): continue option = option.lower()[6:] - if isinstance(board_config.get(option), bool): - value = str(value).lower() in ("1", "yes", "true") - elif isinstance(board_config.get(option), int): - value = int(value) + try: + if isinstance(board_config.get(option), bool): + value = str(value).lower() in ("1", "yes", "true") + elif isinstance(board_config.get(option), int): + value = int(value) + except KeyError: + pass board_config.update(option, value) # load default variables from board config