When building on gcc, use noreturn attribute on adios and the various done

[mmh] / uip / inc.c

diff --git a/uip/inc.c b/uip/inc.c
index ef1b08f..0fcff84 100644 (file)
--- a/uip/inc.c
+++ b/uip/inc.c
@@ -223,7 +223,7 @@ static FILE *in;
  */
 char *map_name(char *);
 
-static void inc_done(int);
+static void inc_done(int) NORETURN;
 #ifdef POP
 static int pop_action(char *);
 static int pop_pack(char *);