From 46d13ccc3b75b4df79b329c0fb8737f55afff092 Mon Sep 17 00:00:00 2001
From: zwelch <zwelch@b42882b7-edfa-0310-969c-e2dbd0fdcd60>
Date: Tue, 12 May 2009 10:52:01 +0000
Subject: [PATCH] Add stdint.h to types.h to provide intptr_t.

git-svn-id: svn://svn.berlios.de/openocd/trunk@1765 b42882b7-edfa-0310-969c-e2dbd0fdcd60
---
 src/helper/types.h     | 3 +++
 src/jtag/rlink/rlink.c | 1 -
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/helper/types.h b/src/helper/types.h
index 8ee41105f..813f6f25c 100644
--- a/src/helper/types.h
+++ b/src/helper/types.h
@@ -26,6 +26,9 @@
 #ifdef HAVE_SYS_TYPES_H
 #include <sys/types.h>
 #endif
+#ifdef HAVE_STDINT_H
+#include <stdint.h>
+#endif
 
 #ifndef u8
 typedef unsigned char u8;
diff --git a/src/jtag/rlink/rlink.c b/src/jtag/rlink/rlink.c
index 2993fc082..683a1545d 100644
--- a/src/jtag/rlink/rlink.c
+++ b/src/jtag/rlink/rlink.c
@@ -36,7 +36,6 @@
 
 /* system includes */
 #include <usb.h>
-#include <stdint.h>
 
 
 /* This feature is made useless by running the DTC all the time.  When automatic, the LED is on whenever the DTC is running.  Otherwise, USB messages are sent to turn it on and off. */