buildfix with -DNDEBUG

[openocd] / src / server / server.h

diff --git a/src/server/server.h b/src/server/server.h
index be1afbe4083d9cb8637453ed39eac5246c87bb4a..a25920ed0d6495f6a759b0ed7820aa52c618a5c8 100644 (file)
--- a/src/server/server.h
+++ b/src/server/server.h
@@ -74,6 +74,7 @@ int add_service(char *name, enum connection_type type, unsigned short port,
                input_handler_t in_handler, connection_closed_handler_t close_handler,
                void *priv);
 
+int server_preinit(void);
 int server_init(struct command_context *cmd_ctx);
 int server_quit(void);