From: Daniel M. Weeks <dan@danweeks.net>
Date: Thu, 11 Jun 2015 15:26:04 +0000 (-0400)
Subject: Mark Log_fatal noreturn
X-Git-Url: http://git.code-monkey.de/?p=umurmur.git;a=commitdiff_plain;h=f00ea5f0041a892ce5618dcb3c386416a434f00e

Mark Log_fatal noreturn
---

diff --git a/src/log.h b/src/log.h
index 8be37b0..eb7f5c8 100644
--- 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_fatal(const char *logstring, ...);
+void Log_fatal(const char *logstring, ...) __attribute__((__noreturn__));
 
 void Log_init(bool_t terminal);
 void Log_reset();