From 82e208c8c91c0d9e041903022c44677d48c8b8e3 Mon Sep 17 00:00:00 2001
From: Unexpected Maker <seon@unexpectedmaker.com>
Date: Tue, 21 Jan 2020 01:06:25 +1100
Subject: [PATCH] Fixed incorrect board name for TinyPICO - You can now use
 this to detect it's a TinyPICO at compile time.... (#3567)

#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 028afe20..cac3bbc1 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