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

[mmh] / uip / mhn.c

diff --git a/uip/mhn.c b/uip/mhn.c
index 6955476..376fc58 100644 (file)
--- a/uip/mhn.c
+++ b/uip/mhn.c
@@ -198,7 +198,7 @@ void cache_all_messages (CT *);
 /* mhfree.c */
 void free_content (CT);
 extern CT *cts;
-void freects_done (int);
+void freects_done (int) NORETURN;
 
 /*
  * static prototypes