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

[Alexander Jung <a.jung@xxxxxxxxxxx>]

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
-- 
2.17.1


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