gui: linux: fix some 'noreturn' compiler warnings

Signed-off-by: Ferry Huberts <ferry.huberts@pelagic.nl>

diff --git a/gui/linux-gtk/src/callbacks.c b/gui/linux-gtk/src/callbacks.c
index 6eb67ac..1dfe447 100644 (file)
--- a/gui/linux-gtk/src/callbacks.c
+++ b/gui/linux-gtk/src/callbacks.c
@@ -212,6 +212,7 @@ packet_disp_callback(GtkWidget * widget, gpointer data)
   }
 }
 
+__attribute__((noreturn))
 void
 gui_shutdown(GtkObject * object, gpointer user_data)
 {

diff --git a/gui/linux-gtk/src/main.c b/gui/linux-gtk/src/main.c
index 5848032..c5d90f4 100644 (file)
--- a/gui/linux-gtk/src/main.c
+++ b/gui/linux-gtk/src/main.c
@@ -124,6 +124,7 @@ ipc_timeout(gpointer data)
   return 1;
 }
 
+__attribute__((noreturn))
 void
 shutdown_(int signal)
 {