From f773af7e3aa665f39ffb2373eded70904b94bc90 Mon Sep 17 00:00:00 2001
From: Seon Rozenblum <seonr@3sprockets.com>
Date: Fri, 13 Dec 2019 09:56:18 +1100
Subject: [PATCH] Fixed incorrect board name for TinyPICO - You can now use
 this to detect it's a TinyPICO at compile time....

#ifdef ARDUINO_TINYPICO
   // It's a TinyPICO!
#endif
---
 boards.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/boards.txt b/boards.txt
index 9c821ef4e35..169ec28852d 100644
--- a/boards.txt
+++ b/boards.txt
@@ -324,7 +324,7 @@ tinypico.serial.disableRTS=true
 tinypico.build.mcu=esp32
 tinypico.build.core=esp32
 tinypico.build.variant=pico32
-tinypico.build.board=ESP32_PICO
+tinypico.build.board=TINYPICO
 
 tinypico.build.f_cpu=240000000L
 tinypico.build.flash_size=4MB