[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] Re: [Minios-devel] [UNIKRAFT PATCH] lib/uktime: include missing print.h header for WARN_STUBBED
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
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |