diff options
Diffstat (limited to 'src/openocd.h')
| -rw-r--r-- | src/openocd.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/openocd.h b/src/openocd.h index a91d46f2..e43f156f 100644 --- a/src/openocd.h +++ b/src/openocd.h @@ -31,11 +31,6 @@ */ 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[]; |