ecosboard: delete bit-rotted eCos code

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

diff --git a/src/helper/system.h b/src/helper/system.h
index 85e0b1ee91413c76278816453b89b2e9dd2a8c5e..82d0cae7e8b1027d0134c30f60efa6a25597762e 100644 (file)
--- a/src/helper/system.h
+++ b/src/helper/system.h
@@ -45,9 +45,6 @@
 /* --- AC_HEADER_TIME --- */
 
 /* +++ platform specific headers +++ */
-#if BUILD_ECOSBOARD == 1
-#include <pkgconf/system.h>
-#endif
 #ifdef _WIN32
 #include <winsock2.h>
 #include <ws2tcpip.h>