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 bcebb7f2729e6096fc3d20c75a12698958d0cc34..91c57a22ac56a3688fd28230ddd604db15058c9b 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;
 /* mhfree.c */
 void free_content (CT);
 extern CT *cts;

-void freects_done (int);
+void freects_done (int) NORETURN;

 
 /*
  * static prototypes
 
 /*
  * static prototypes