From 2096d5b350a27137d15aeec2ee5f86c29d861987 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Mon, 14 May 2018 15:55:43 -0700
Subject: [PATCH] Use the actual dev/platform directory when looking for
 "sdkconfig.h" // Resolve #86

---
 builder/frameworks/espidf.py | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/builder/frameworks/espidf.py b/builder/frameworks/espidf.py
index edc2e90..f8b2a2b 100644
--- a/builder/frameworks/espidf.py
+++ b/builder/frameworks/espidf.py
@@ -100,16 +100,12 @@ def build_component(path):
 
 def find_valid_config_file():
     search_path = join(
-        env.subst("$PIOHOME_DIR"), "platforms",
-        env.subst("$PIOPLATFORM"), "examples", "*", "src", "sdkconfig.h"
-    )
-
+        platform.get_dir(), "examples", "*", "src", "sdkconfig.h")
     files = glob(search_path)
     if not files:
         sys.stderr.write(
             "Error: Could not find default \"sdkconfig.h\" file\n")
         env.Exit(1)
-
     return files[0]