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

[Felipe Huici <felipe.huici@xxxxxxxxx>]

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)
-- 
2.20.1


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