flash: require unique flash bank name

[openocd] / src / helper / system.h

diff --git a/src/helper/system.h b/src/helper/system.h
index 169df1cb4f28945d062263cd79fe7f5cab479782..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 ---
 
@@ -83,4 +85,9 @@
 #include <fcntl.h>
 #endif
 
+#ifndef true
+#define true   1
+#define false  0
+#endif
+
 #endif // SYSTEM_H