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

[mmh] / uip / mhstore.c

diff --git a/uip/mhstore.c b/uip/mhstore.c
index bcebb7f..91c57a2 100644 (file)
--- a/uip/mhstore.c
+++ b/uip/mhstore.c
@@ -104,7 +104,7 @@ void store_all_messages (CT *);
 /* mhfree.c */
 void free_content (CT);
 extern CT *cts;
-void freects_done (int);
+void freects_done (int) NORETURN;
 
 /*
  * static prototypes