diff --git a/platformio/managers/platform.py b/platformio/managers/platform.py index 30093ed8..f12b5537 100644 --- a/platformio/managers/platform.py +++ b/platformio/managers/platform.py @@ -87,6 +87,9 @@ class PlatformManager(BasePkgManager): name, requirements, url = self.parse_pkg_uri(package, requirements) pkg_dir = self.get_package_dir(name, requirements, url) + if not pkg_dir: + raise exception.UnknownPlatform(package) + p = PlatformFactory.newPlatform(pkg_dir) BasePkgManager.uninstall(self, pkg_dir, requirements) @@ -110,6 +113,9 @@ class PlatformManager(BasePkgManager): name, requirements, url = self.parse_pkg_uri(package, requirements) pkg_dir = self.get_package_dir(name, requirements, url) + if not pkg_dir: + raise exception.UnknownPlatform(package) + p = PlatformFactory.newPlatform(pkg_dir) pkgs_before = p.get_installed_packages().keys()