X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=src%2Fopenocd.h;h=80331157c12836a28992520e1beb38b6032eb250;hb=6f65045b3791525e99d09d07b5f9d8dd5aa511e5;hp=a91d46f2f2568358f0ec402fc2366117fc04abcc;hpb=9b1f9810b090958bb4a669034173a01683c6e3e9;p=fw%2Fopenocd

diff --git a/src/openocd.h b/src/openocd.h
index a91d46f2f..80331157c 100644
--- a/src/openocd.h
+++ b/src/openocd.h
@@ -21,7 +21,7 @@
 #ifndef OPENOCD_H
 #define OPENOCD_H
 
-/** 
+/**
  * Different applications can define this entry point to override
  * the default openocd main function.  On most systems, this will be
  * defined in src/openocd.c.
@@ -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
+/** provides a hard-coded command environment setup */
 extern const char openocd_startup_tcl[];
 
 #endif