Merge branch 'dsp5680xx_cherry' of git://repo.or.cz/openocd/dsp568013 into HEAD

[fw/openocd] / src / helper / system.h

diff --git a/src/helper/system.h b/src/helper/system.h
index 07b0cb9f2ffce25e2dde2792f34ad9184c11498a..8ff3532aa856afb6ba1195d7bccdafbc0e42cdf0 100644 (file)
--- a/src/helper/system.h
+++ b/src/helper/system.h
@@ -50,6 +50,8 @@
 #ifdef _WIN32
 #include <winsock2.h>
 #include <ws2tcpip.h>
+#include <sys/types.h>
+#include <sys/stat.h>
 #endif
 // --- platform specific headers ---
 
@@ -59,6 +61,14 @@
 #ifdef HAVE_SYS_POLL_H
 #include <sys/poll.h>
 #endif
+
+#ifdef __ECOS
+/* missing from eCos */
+#ifndef EFAULT
+#define        EFAULT 14       /* Bad address */
+#endif
+#endif
+
 #ifdef HAVE_NETINET_IN_H
 #include <netinet/in.h>
 #endif
@@ -75,4 +85,9 @@
 #include <fcntl.h>
 #endif
 
+#ifndef true
+#define true   1
+#define false  0
+#endif
+
 #endif // SYSTEM_H