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

[mmh] / uip / packf.c

diff --git a/uip/packf.c b/uip/packf.c
index fb8871d97dae7afb31570629a6152d7f594696c6..a696e727c9c0b0764c2e46827542bfb5409e8690 100644 (file)
--- a/uip/packf.c
+++ b/uip/packf.c
@@ -33,7 +33,7 @@ static int md = NOTOK;
 static int mbx_style = MBOX_FORMAT;
 static int mapping = 0;
 
-static void mbxclose_done(int);
+static void mbxclose_done(int) NORETURN;
 
 char *file = NULL;