From d118b4447ad686ca09b22edc137d09c47fbb07eb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Uli=20K=C3=B6hler?= <uli@techoverflow.net>
Date: Sat, 5 Mar 2016 16:02:18 +0100
Subject: [PATCH] Fix case-insensitive ESPDuino file name

I work on Linux and I got an error about a missing `pins_arduino.h`:
```
fatal error: pins_arduino.h: No such file or directory
```
As it turns out, the reason for this is that the directory name under Linux is case-sensitive while it is lowercase-only in the variants file.
---
 boards.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/boards.txt b/boards.txt
index c386560a2..e5294e6e4 100644
--- a/boards.txt
+++ b/boards.txt
@@ -248,7 +248,7 @@ espduino.build.mcu=esp8266
 espduino.build.f_cpu=80000000L
 espduino.build.board=ESP8266_ESP13
 espduino.build.core=esp8266
-espduino.build.variant=espduino
+espduino.build.variant=ESPDuino
 espduino.build.flash_mode=dio
 espduino.build.flash_size=4M
 espduino.build.flash_freq=40