From 3a993cbcdf47f3682e3190aa910b2e352a363fc1 Mon Sep 17 00:00:00 2001
From: Yaroslav Veremenko <yaroslav@veremenko.info>
Date: Wed, 3 Apr 2024 19:02:42 -0600
Subject: [PATCH] Attempt to fix build on github

---
 Kernel/platform/platform-rpipico/mangle.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Kernel/platform/platform-rpipico/mangle.h b/Kernel/platform/platform-rpipico/mangle.h
index 4cd125a99a..ced7a5eff4 100644
--- a/Kernel/platform/platform-rpipico/mangle.h
+++ b/Kernel/platform/platform-rpipico/mangle.h
@@ -4,12 +4,14 @@
 	#define _write f_write
 	#define _sbrk f_sbrk
 	#define ssize_t _ssize_t
+	#define time_t _time_t
 #else
 	#undef panic
 	#undef _read
 	#undef _write
 	#undef _sbrk
 	#undef ssize_t
+	#undef time_t
 #endif
 
 #undef MANGLED