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

diff --git a/src/helper/types.h b/src/helper/types.h
index 8ee41105f1651be3efb5e2fb7213a8accbc28c0f..813f6f25c0cf8243951250f177ece26c11d615cd 100644 (file)
--- 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 2993fc0820f81003428770e67cddd5e0147f4dc2..683a1545d08d1a48df403ee77b69116df2a95325 100644 (file)
--- 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. */