Don't install desktop dev/platforms

2018-02-03 23:04:46 +02:00
parent 4360ff7463
commit 8913f1b1ea
1 changed files with 2 additions and 0 deletions
--- 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']])