From 9be362ab7efc6ad27a678e00f9b0b35a24993aa1 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Thu, 10 Oct 2013 18:08:19 +0200
Subject: console-client: entitle console_exit with the noreturn attribute

* console-client/input.h (console_exit): Add noreturn attribute.
---
 console-client/input.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'console-client/input.h')

diff --git a/console-client/input.h b/console-client/input.h
index 351fa34a..61deadc0 100644
--- a/console-client/input.h
+++ b/console-client/input.h
@@ -66,7 +66,7 @@ error_t console_switch (int id, int delta);
 void console_error (const wchar_t *const err_msg);
 
 /* Exit the console client.  Does not return.  */
-void console_exit (void);
+void console_exit (void) __attribute__ ((noreturn));
 
 /* Switch away from the console an external use of the console like
    XFree.  */
-- 
cgit v1.2.3