From: Samuel Thibault Subject: [PATCH] stubdom: int32_t is provided by stdint.h, not sys/types.h Date: Tue, 26 Aug 2008 16:55:03 +0100 Message-ID: <20080826155503.GV4555@implementation.uk.xensource.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Content-Disposition: inline List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xensource.com Errors-To: xen-devel-bounces@lists.xensource.com To: xen-devel@lists.xensource.com List-Id: xen-devel@lists.xenproject.org stubdom: int32_t is provided by stdint.h, not sys/types.h diff -r c2472ded5c7c extras/mini-os/include/posix/dirent.h --- a/extras/mini-os/include/posix/dirent.h Tue Aug 26 15:16:57 2008 +0100 +++ b/extras/mini-os/include/posix/dirent.h Tue Aug 26 16:43:27 2008 +0100 @@ -1,7 +1,7 @@ #ifndef _POSIX_DIRENT_H #define _POSIX_DIRENT_H -#include +#include struct dirent { char *d_name;