From c05e1f7c9bcf97ba7700da9f8ee30352bb5a8a32 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Mon, 7 Aug 2017 19:33:13 +0300 Subject: [PATCH] Ignore missed packages in new development platform --- platformio/managers/platform.py | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/platformio/managers/platform.py b/platformio/managers/platform.py index dec4bd30..6497b00f 100644 --- a/platformio/managers/platform.py +++ b/platformio/managers/platform.py @@ -113,20 +113,21 @@ class PlatformManager(BasePkgManager): pkg_dir = self.get_package_dir(name, requirements, url) p = PlatformFactory.newPlatform(pkg_dir) - pkgs_before = pkgs_after = p.get_installed_packages().keys() + pkgs_before = p.get_installed_packages().keys() + missed_pkgs = set() if not only_packages: BasePkgManager.update(self, pkg_dir, requirements, only_check) p = PlatformFactory.newPlatform(pkg_dir) - pkgs_after = p.get_installed_packages().keys() + missed_pkgs = set(pkgs_before) & set(p.packages.keys()) + missed_pkgs -= set(p.get_installed_packages().keys()) p.update_packages(only_check) self.cleanup_packages(p.packages.keys()) - pkgs_missed = set(pkgs_before) - set(pkgs_after) - if pkgs_missed: + if missed_pkgs: p.install_packages( - with_packages=pkgs_missed, skip_default_package=True) + with_packages=list(missed_pkgs), skip_default_package=True) return True