From 13aacbcc058b94015befa6fb6ffd0205a30991c5 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Wed, 23 Mar 2022 17:56:15 +0200 Subject: [PATCH] Dump only required toolchains --- platformio/builder/tools/pioide.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platformio/builder/tools/pioide.py b/platformio/builder/tools/pioide.py index 5a6c2851..adb5844b 100644 --- a/platformio/builder/tools/pioide.py +++ b/platformio/builder/tools/pioide.py @@ -45,7 +45,7 @@ def _dump_includes(env): # includes from toolchains p = env.PioPlatform() includes["toolchain"] = [] - for pkg in p.get_installed_packages(): + for pkg in p.get_installed_packages(with_optional=False): if p.get_package_type(pkg.metadata.name) != "toolchain": continue toolchain_dir = glob.escape(pkg.path)