From 990ec759f219b1d1899a7373ff6943ce2ef1ffa5 Mon Sep 17 00:00:00 2001 From: "Earle F. Philhower, III" Date: Fri, 13 Sep 2019 02:17:09 -0700 Subject: [PATCH] Fix tool name to point to proper JSON entry (#6513) --- package/package_esp8266com_index.template.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package/package_esp8266com_index.template.json b/package/package_esp8266com_index.template.json index 3c96a2e1c..cc4e3f866 100644 --- a/package/package_esp8266com_index.template.json +++ b/package/package_esp8266com_index.template.json @@ -138,7 +138,7 @@ "tools": [ { "version": "3.7.2-post1", - "name": "python", + "name": "python3", "systems": [ { "host": "x86_64-mingw32",