Mark Log_fatal noreturn

diff --git a/src/log.h b/src/log.h
index 8be37b085f4bdee901f8aa1e8cf57eea729c16cf..eb7f5c86c97ec148e6d2894453c96e0e0a6a49f5 100644 (file)
--- a/src/log.h
+++ b/src/log.h
@@ -53,7 +53,7 @@ void Log_debug(const char *logstring, ...);
 void Log_warn(const char *logstring, ...);
 void Log_info(const char *logstring, ...);
 void Log_info_client(client_t *client, const char *logstring, ...);
 void Log_warn(const char *logstring, ...);
 void Log_info(const char *logstring, ...);
 void Log_info_client(client_t *client, const char *logstring, ...);

-void Log_fatal(const char *logstring, ...);
+void Log_fatal(const char *logstring, ...) __attribute__((__noreturn__));

 
 void Log_init(bool_t terminal);
 void Log_reset();
 
 void Log_init(bool_t terminal);
 void Log_reset();