Don't define intptr_t if already done.
authordrepper <drepper>
Wed, 8 Jul 1998 22:53:30 +0000 (22:53 +0000)
committerdrepper <drepper>
Wed, 8 Jul 1998 22:53:30 +0000 (22:53 +0000)
sysdeps/wordsize-32/stdint.h
sysdeps/wordsize-64/stdint.h

index c3a9e30..2f693e8 100644 (file)
@@ -78,7 +78,10 @@ typedef unsigned long long int uint_fast64_t;
 
 
 /* Types for `void *' pointers.  */
+#ifndef intptr_t
 typedef int           intptr_t;
+# define intptr_t intptr_t
+#endif
 typedef unsigned int uintptr_t;
 
 
index c0e521a..743fb43 100644 (file)
@@ -78,7 +78,10 @@ typedef unsigned long int uint_fast64_t;
 
 
 /* Types for `void *' pointers.  */
+#ifndef intptr_t
 typedef long int           intptr_t;
+# define intptr_t intptr_t
+#endif
 typedef unsigned long int uintptr_t;