From 1cbf503b9de8bb04ecd5bc52760ee283aebd378b Mon Sep 17 00:00:00 2001
From: Keir Fraser <keir.fraser@citrix.com>
Date: Wed, 27 Aug 2008 09:44:51 +0100
Subject: [PATCH] stubdom: int32_t is provided by stdint.h, not sys/types.h

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
---
 extras/mini-os/include/posix/dirent.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extras/mini-os/include/posix/dirent.h b/extras/mini-os/include/posix/dirent.h
index 56b1d67258..884b69eba6 100644
--- 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;
-- 
2.30.2