stubdom: int32_t is provided by stdint.h, not sys/types.h

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>

diff --git a/extras/mini-os/include/posix/dirent.h b/extras/mini-os/include/posix/dirent.h
index 56b1d672583162d906a167459e1b852aec9bbaea..884b69eba63454df8a672f99aa2776ed41f64036 100644 (file)
--- a/extras/mini-os/include/posix/dirent.h
+++ b/extras/mini-os/include/posix/dirent.h
@@ -1,7 +1,7 @@
 #ifndef _POSIX_DIRENT_H
 #define _POSIX_DIRENT_H
 
-#include <sys/types.h>
+#include <stdint.h>
 
 struct dirent {
         char *d_name;