Re: [Minios-devel] [UNIKRAFT PATCH] lib/uktime: include missing print.h header for WARN_STUBBED

[Costin Lupu <costin.lup@xxxxxxxxx>]

Thanks for this patch, Alexander!

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

On 11/4/19 7:50 PM, Alexander Jung wrote:
> This commit includes the <uk/print.h> header from the ukdebug library to 
> facilitate
> the use of `WARN_STUBBED` in the `setitime` function.  Ommitting this library 
> will
> yield a link-time error `ld`.
> 
> ---
>  lib/uktime/time.c | 1 +
>  1 file changed, 1 insertion(+)
> 
> diff --git a/lib/uktime/time.c b/lib/uktime/time.c
> index 9e3ee92..4d3ba53 100644
> --- a/lib/uktime/time.c
> +++ b/lib/uktime/time.c
> @@ -42,6 +42,7 @@
>  #include <sys/time.h>
>  #include <uk/plat/time.h>
>  #include <uk/config.h>
> +#include <uk/print.h>
>  #if CONFIG_HAVE_SCHED
>  #include <uk/sched.h>
>  #else
> 

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