Refactor DevPlatform to PioPlatform

2016-08-03 19:58:35 +03:00
parent 11c8ab52f6
commit 6b064cb915
5 changed files with 14 additions and 14 deletions
@@ -161,7 +161,7 @@ def DumpIDEData(env):
            includes.extend(lb.get_inc_dirs())

        # includes from toolchains
-        p = env.DevPlatform()
+        p = env.PioPlatform()
        for name in p.get_installed_packages():
            if p.get_package_type(name) != "toolchain":
                continue