Add IPDBG JtagHost functionality to OpenOCD

[fw/openocd] / src / server / server.c

diff --git a/src/server/server.c b/src/server/server.c
index e53f37d0b8ee05c341730be64ce6becf84eeed76..307266389ff8287b1265bf94c3c844d4f49cfade 100644 (file)
--- a/src/server/server.c
+++ b/src/server/server.c
@@ -33,6 +33,7 @@
 #include "openocd.h"
 #include "tcl_server.h"
 #include "telnet_server.h"
+#include "time_support.h"
 
 #include <signal.h>