X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=gui.c;h=588507154bfb0e620b256c08c2ce6914b1b7c0e6;hp=9a02bdcabc3c252fb875b893cea5610f23243b2e;hb=e37500d29b2b699762e1aa196b14c41303bb1055;hpb=97e3deb06e0dd2e63520c2dc0736e753e1276fde

diff --git a/gui.c b/gui.c
index 9a02bdca..58850715 100644
--- a/gui.c
+++ b/gui.c
@@ -523,7 +523,7 @@ static void setup_signal_handling(void)
 	signal(SIGHUP, SIG_IGN);
 }
 
-static void do_exit(int ret)
+__noreturn static void do_exit(int ret)
 {
 	signal(SIGTERM, SIG_IGN);
 	kill(0, SIGTERM);
@@ -539,7 +539,7 @@ static void shutdown_curses(void)
 	endwin();
 }
 
-static void finish(int ret)
+__noreturn static void finish(int ret)
 {
 	shutdown_curses();
 	do_exit(ret);
@@ -548,7 +548,7 @@ static void finish(int ret)
 /*
  * exit curses and print given message to stdout/stderr
  */
-__printf_2_3 static void msg_n_exit(int ret, const char* fmt, ...)
+__noreturn __printf_2_3 static void msg_n_exit(int ret, const char* fmt, ...)
 {
 	va_list argp;
 	FILE *outfd = ret? stderr: stdout;
@@ -1280,7 +1280,7 @@ static void com_version(void)
 		CODENAME "\"");
 }
 
-static void com_quit(void)
+__noreturn static void com_quit(void)
 {
 	finish(0);
 }