From f1d4377609128c306b20f8cdfccc537c9d102211 Mon Sep 17 00:00:00 2001
From: Adrien Destugues <adrien.destugues@opensource.viveris.fr>
Date: Tue, 26 Jan 2021 20:04:52 +0100
Subject: [PATCH] Build fix.

---
 headers/private/kernel/boot/stdio.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/headers/private/kernel/boot/stdio.h b/headers/private/kernel/boot/stdio.h
index 6ea30e8382..c4bee0c0f6 100644
--- a/headers/private/kernel/boot/stdio.h
+++ b/headers/private/kernel/boot/stdio.h
@@ -32,7 +32,9 @@ extern FILE *stderr;
 #	define SEEK_END 2
 #endif
 
-#define EOF -1
+#ifndef EOF
+#	define EOF (-1)
+#endif
 
 #define __PRINTFLIKE(a, b)