[hurd] 08/26: console-client: entitle console_exit with the noreturn attribute

[Samuel Thibault]

This is an automated email from the git hooks/post-receive script.

sthibault pushed a commit to branch upstream
in repository hurd.

commit 9be362ab7efc6ad27a678e00f9b0b35a24993aa1
Author: Justus Winter <address@hidden>
Date:   Thu Oct 10 18:08:19 2013 +0200

    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(-)

diff --git a/console-client/input.h b/console-client/input.h
index 351fa34..61deadc 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.  */

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-hurd/hurd.git