[Minios-devel] [UNIKRAFT/NEWLIB PATCH 1/1] patches: Allow including custom time.h headers

[Vlad-Andrei BĂDOIU (78692) <vlad_andrei.badoiu@xxxxxxxxxxxxxxx>]

Signed-off-by: Vlad-Andrei Badoiu <vlad_andrei.badoiu@xxxxxxxxxxxxxxx>
---
 ...atch-in-order-to-include-custom-time.patch | 27 +++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 
patches/0009-Apply-hackish-patch-in-order-to-include-custom-time.patch

diff --git 
a/patches/0009-Apply-hackish-patch-in-order-to-include-custom-time.patch 
b/patches/0009-Apply-hackish-patch-in-order-to-include-custom-time.patch
new file mode 100644
index 0000000..559aed4
--- /dev/null
+++ b/patches/0009-Apply-hackish-patch-in-order-to-include-custom-time.patch
@@ -0,0 +1,27 @@
+From 0681ed5f288093affbd72f34c97cdc0be1c7f4c7 Mon Sep 17 00:00:00 2001
+From: Vlad-Andrei Badoiu <vlad_andrei.badoiu@xxxxxxxxxxxxxxx>
+Date: Thu, 12 Sep 2019 13:44:45 +0300
+Subject: [PATCH 1/1] Apply hackish patch in order to include custom time.h
+ header first
+
+Signed-off-by: Vlad-Andrei Badoiu <vlad_andrei.badoiu@xxxxxxxxxxxxxxx>
+---
+ newlib/libc/include/time.h | 3 +++
+ 1 file changed, 3 insertions(+)
+
+diff --git a/newlib/libc/include/time.h b/newlib/libc/include/time.h
+index 32baed9..f143b7c 100644
+--- a/newlib/libc/include/time.h
++++ b/newlib/libc/include/time.h
+@@ -315,5 +315,8 @@ int _EXFUN(clock_getenable_attr, (clockid_t clock_id, int 
*attr));
+ }
+ #endif
+ 
++#else
++#include_next <time.h>
++
+ #endif /* _TIME_H_ */
+ 
+-- 
+2.20.1
+
-- 
2.20.1


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel