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

[Costin Lupu <costin.lupu@xxxxxxxxx>]

Thanks for the patch, Vlad!

Reviewed-by: Costin Lupu <costin.lupu@xxxxxxxxx>

On 9/12/19 2:29 PM, Vlad-Andrei BĂDOIU (78692) wrote:
> 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
> +
> 

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