Re: [Minios-devel] [UNIKRAFT PATCH] lib/nolibc: Add missing include to shareddefs.h

[Costin Lupu <costin.lup@xxxxxxxxx>]

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

On 10/16/19 2:54 PM, Felipe Huici wrote:
> shareddefs.h now uses a config flag (CONFIG_HAVE_TIME) but the file
> was not including uk/config.h, causing the build to break when using
> noblic.
> 
> Signed-off-by: Felipe Huici <felipe.huici@xxxxxxxxx>
> ---
>  lib/nolibc/include/nolibc-internal/shareddefs.h | 1 +
>  1 file changed, 1 insertion(+)
> 
> diff --git a/lib/nolibc/include/nolibc-internal/shareddefs.h 
> b/lib/nolibc/include/nolibc-internal/shareddefs.h
> index 27e01294..8c8e68a8 100644
> --- a/lib/nolibc/include/nolibc-internal/shareddefs.h
> +++ b/lib/nolibc/include/nolibc-internal/shareddefs.h
> @@ -39,6 +39,7 @@
>   * this file.
>   */
>  
> +#include <uk/config.h>
>  #include <uk/arch/types.h>
>  
>  #if (defined __NEED_NULL && !defined __DEFINED_NULL)
> 

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