X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=blobdiff_plain;f=src%2Fopenocd.h;h=e43f156fcbf5a58219af15a9d78c037ee666d330;hp=70e3ee0126f30e524bc1c935b3b4ac3af0ee0a08;hb=f5ae179519d578169b4123af89eebf667efa1e2c;hpb=5e229bbf87fbb5a809553526edf0186dd3dd5cf8

diff --git a/src/openocd.h b/src/openocd.h
index 70e3ee0126..e43f156fcb 100644
--- a/src/openocd.h
+++ b/src/openocd.h
@@ -31,12 +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;
+extern const char openocd_startup_tcl[];
 
 #endif