From 8913f1b1eace91f0c177bf107934c47c9504d01e Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Sat, 3 Feb 2018 23:04:46 +0200 Subject: [PATCH] Don't install desktop dev/platforms --- scripts/install_devplatforms.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/install_devplatforms.py b/scripts/install_devplatforms.py index 34e3e082..58d28bd1 100644 --- a/scripts/install_devplatforms.py +++ b/scripts/install_devplatforms.py @@ -22,6 +22,8 @@ def main(): subprocess.check_output( ["platformio", "platform", "search", "--json-output"])) for platform in platforms: + if platform['forDesktop']: + continue subprocess.check_call( ["platformio", "platform", "install", platform['repository']])