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

[Costin Lupu <costin.lup@xxxxxxxxx>]

Btw, please don't forget your 'Signed-off-by: ' signature next time.

Cheers,
Costin

On 11/7/19 7:22 PM, Costin Lupu wrote:
> 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