# HG changeset patch
# User nenolod
# Date 1131067478 28800
# Node ID c8bc83fbcd6b7f6e199d0dc310e7468821e65bad
# Parent  bf1957fb8588524adce08feae0bdee340bbae374
[svn] Fix linux good!

diff -r bf1957fb8588 -r c8bc83fbcd6b Plugins/Input/console/boost/cstdint.hpp
--- a/Plugins/Input/console/boost/cstdint.hpp	Thu Nov 03 16:08:51 2005 -0800
+++ b/Plugins/Input/console/boost/cstdint.hpp	Thu Nov 03 17:24:38 2005 -0800
@@ -4,43 +4,17 @@
 #ifndef BOOST_CSTDINT_HPP
 #define BOOST_CSTDINT_HPP
 
-#ifndef int32_t
-
 #if BLARGG_USE_NAMESPACE
-	#include <climits>
+#	include <climits>
 #else
-	#include <limits.h>
-#endif
-
-BLARGG_BEGIN_NAMESPACE( boost )
-
-#if UCHAR_MAX != 0xFF || SCHAR_MAX != 0x7F
-#   error "No suitable 8-bit type available"
+#	include <limits.h>
 #endif
 
-typedef unsigned char   uint8_t;
-typedef signed char     int8_t;
-
-#if USHRT_MAX != 0xFFFF
-#   error "No suitable 16-bit type available"
-#endif
-
-typedef short           int16_t;
-typedef unsigned short  uint16_t;
+BLARGG_BEGIN_NAMESPACE (boost)
 
-#if ULONG_MAX == 0xFFFFFFFF
-	typedef long            int32_t;
-	typedef unsigned long   uint32_t;
-#elif UINT_MAX == 0xFFFFFFFF
-	typedef int             int32_t;
-	typedef unsigned int    uint32_t;
-#else
-#   error "No suitable 32-bit type available"
-#endif
+#include "sys/types.h"
 
 BLARGG_END_NAMESPACE
 
 #endif
 
-#endif
-