gui: linux: fix some 'noreturn' compiler warnings
authorFerry Huberts <ferry.huberts@pelagic.nl>
Wed, 7 Nov 2012 13:35:32 +0000 (14:35 +0100)
committerFerry Huberts <ferry.huberts@pelagic.nl>
Wed, 7 Nov 2012 15:27:40 +0000 (16:27 +0100)
Signed-off-by: Ferry Huberts <ferry.huberts@pelagic.nl>
gui/linux-gtk/src/callbacks.c
gui/linux-gtk/src/main.c

index 6eb67ac..1dfe447 100644 (file)
@@ -212,6 +212,7 @@ packet_disp_callback(GtkWidget * widget, gpointer data)
   }
 }
 
+__attribute__((noreturn))
 void
 gui_shutdown(GtkObject * object, gpointer user_data)
 {
index 5848032..c5d90f4 100644 (file)
@@ -124,6 +124,7 @@ ipc_timeout(gpointer data)
   return 1;
 }
 
+__attribute__((noreturn))
 void
 shutdown_(int signal)
 {