From 0cb31c6f5262b8a0e176c07a138e9443da285e3c Mon Sep 17 00:00:00 2001
From: Niek van der Maas <mail@niekvandermaas.nl>
Date: Fri, 8 Nov 2019 13:57:07 +0100
Subject: [PATCH 1/3] Add missing time.h include

---
 cores/esp8266/FS.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cores/esp8266/FS.h b/cores/esp8266/FS.h
index 60a0e46d2d..d634886912 100644
--- a/cores/esp8266/FS.h
+++ b/cores/esp8266/FS.h
@@ -23,6 +23,7 @@
 
 #include <memory>
 #include <Arduino.h>
+#include <../include/time.h>
 
 class SDClass;
 

From 9b2e528ab45025f4067fafb5fb351f229993ccca Mon Sep 17 00:00:00 2001
From: Niek van der Maas <mail@niekvandermaas.nl>
Date: Fri, 8 Nov 2019 14:30:09 +0100
Subject: [PATCH 2/3] Change other includes of time.h as well

---
 cores/esp8266/HardwareSerial.h      | 2 +-
 cores/esp8266/libc_replacements.cpp | 2 +-
 cores/esp8266/time.cpp              | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/cores/esp8266/HardwareSerial.h b/cores/esp8266/HardwareSerial.h
index 2d7f631db1..b99840358a 100644
--- a/cores/esp8266/HardwareSerial.h
+++ b/cores/esp8266/HardwareSerial.h
@@ -28,7 +28,7 @@
 #define HardwareSerial_h
 
 #include <inttypes.h>
-#include <time.h>
+#include <../include/time.h>
 #include "Stream.h"
 #include "uart.h"
 
diff --git a/cores/esp8266/libc_replacements.cpp b/cores/esp8266/libc_replacements.cpp
index b3beb07dd0..c4ac55b13c 100644
--- a/cores/esp8266/libc_replacements.cpp
+++ b/cores/esp8266/libc_replacements.cpp
@@ -31,7 +31,7 @@
 #include <limits.h>
 #include <errno.h>
 #include <string.h>
-#include <time.h>
+#include <../include/time.h>
 #include <sys/types.h>
 #include <sys/stat.h>
 #include <unistd.h>
diff --git a/cores/esp8266/time.cpp b/cores/esp8266/time.cpp
index 3a3e3f755b..d12e0131a9 100644
--- a/cores/esp8266/time.cpp
+++ b/cores/esp8266/time.cpp
@@ -17,7 +17,7 @@
  */
 
 #include <stdlib.h>
-#include <time.h>
+#include <../include/time.h>
 #include <sys/time.h>
 #include <sys/reent.h>
 #include "sntp.h"

From 9ef7f922973abb1affc9ff324c53267cadf5b83e Mon Sep 17 00:00:00 2001
From: Niek van der Maas <mail@niekvandermaas.nl>
Date: Fri, 8 Nov 2019 16:39:44 +0100
Subject: [PATCH 3/3] Added comment

---
 cores/esp8266/FS.h                  | 2 +-
 cores/esp8266/HardwareSerial.h      | 2 +-
 cores/esp8266/libc_replacements.cpp | 2 +-
 cores/esp8266/time.cpp              | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/cores/esp8266/FS.h b/cores/esp8266/FS.h
index d634886912..23d05bad83 100644
--- a/cores/esp8266/FS.h
+++ b/cores/esp8266/FS.h
@@ -23,7 +23,7 @@
 
 #include <memory>
 #include <Arduino.h>
-#include <../include/time.h>
+#include <../include/time.h> // See issue #6714
 
 class SDClass;
 
diff --git a/cores/esp8266/HardwareSerial.h b/cores/esp8266/HardwareSerial.h
index b99840358a..dd36e6c281 100644
--- a/cores/esp8266/HardwareSerial.h
+++ b/cores/esp8266/HardwareSerial.h
@@ -28,7 +28,7 @@
 #define HardwareSerial_h
 
 #include <inttypes.h>
-#include <../include/time.h>
+#include <../include/time.h> // See issue #6714
 #include "Stream.h"
 #include "uart.h"
 
diff --git a/cores/esp8266/libc_replacements.cpp b/cores/esp8266/libc_replacements.cpp
index c4ac55b13c..0ccf5e04b2 100644
--- a/cores/esp8266/libc_replacements.cpp
+++ b/cores/esp8266/libc_replacements.cpp
@@ -31,7 +31,7 @@
 #include <limits.h>
 #include <errno.h>
 #include <string.h>
-#include <../include/time.h>
+#include <../include/time.h> // See issue #6714
 #include <sys/types.h>
 #include <sys/stat.h>
 #include <unistd.h>
diff --git a/cores/esp8266/time.cpp b/cores/esp8266/time.cpp
index d12e0131a9..41a9b43af1 100644
--- a/cores/esp8266/time.cpp
+++ b/cores/esp8266/time.cpp
@@ -17,7 +17,7 @@
  */
 
 #include <stdlib.h>
-#include <../include/time.h>
+#include <../include/time.h> // See issue #6714
 #include <sys/time.h>
 #include <sys/reent.h>
 #include "sntp.h"