From 78e63280ba2f736c1803bab6e82ad5a30492fc70 Mon Sep 17 00:00:00 2001
From: Silvano Cerza <3314350+silvanocerza@users.noreply.github.com>
Date: Mon, 21 Jun 2021 11:12:05 +0200
Subject: [PATCH] Add missing menu.UploadTool name definition (#8153)

---
 boards.txt          | 1 +
 tools/boards.txt.py | 1 +
 2 files changed, 2 insertions(+)

diff --git a/boards.txt b/boards.txt
index 9a0a7d94ff..7262dd923b 100644
--- a/boards.txt
+++ b/boards.txt
@@ -6,6 +6,7 @@
 
 menu.BoardModel=Model
 menu.ESPModule=Module
+menu.UploadTool=Upload Tool
 menu.led=Builtin Led
 menu.baud=Upload Speed
 menu.xtal=CPU Frequency
diff --git a/tools/boards.txt.py b/tools/boards.txt.py
index 434a8c2723..2d099e8504 100755
--- a/tools/boards.txt.py
+++ b/tools/boards.txt.py
@@ -1621,6 +1621,7 @@ def all_boards ():
     # With Arduino IDE 1.8.7 the order of the menu items will be honored from the tools pull down list.
     print('menu.BoardModel=Model')
     print('menu.ESPModule=Module')
+    print('menu.UploadTool=Upload Tool')
     print('menu.led=Builtin Led')
     print('menu.baud=Upload Speed')
     print('menu.xtal=CPU Frequency')