X-Git-Url: https://review.openocd.org/gitweb?a=blobdiff_plain;f=src%2Fopenocd.h;h=e43f156fcbf5a58219af15a9d78c037ee666d330;hb=f176278e98536981a212c0cfcee75ec94ab2c158;hp=1bf6b7e6f1a06e8634ed0485a87aa95fd6a85088;hpb=4088b1e622cff0673f2859de5ee611da736bdba7;p=openocd.git

diff --git a/src/openocd.h b/src/openocd.h
index 1bf6b7e6f1..e43f156fcb 100644
--- 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