Add Valuline HD to config file

[fw/openocd] / src / openocd.h

diff --git a/src/openocd.h b/src/openocd.h
index 1bf6b7e6f1a06e8634ed0485a87aa95fd6a85088..e43f156fcbf5a58219af15a9d78c037ee666d330 100644 (file)
--- a/src/openocd.h
+++ b/src/openocd.h
@@ -31,9 +31,7 @@
  */
 int openocd_main(int argc, char *argv[]);
 
-/// used by the server_loop() function in src/server/server.c
-void openocd_sleep_prelude(void);
-/// used by the server_loop() function in src/server/server.c
-void openocd_sleep_postlude(void);
+/// provides a hard-coded command environment setup
+extern const char openocd_startup_tcl[];
 
 #endif