gdb: clean up error handling in step/continue
[fw/openocd] / src / openocd.h
index a91d46f2f2568358f0ec402fc2366117fc04abcc..e43f156fcbf5a58219af15a9d78c037ee666d330 100644 (file)
  */
 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[];