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

[mmh] / uip / mhtest.c

diff --git a/uip/mhtest.c b/uip/mhtest.c
index fa42cd2..d8c025f 100644 (file)
--- a/uip/mhtest.c
+++ b/uip/mhtest.c
@@ -106,7 +106,7 @@ void flush_errors (void);
 /* mhfree.c */
 void free_content (CT);
 extern CT *cts;
-void freects_done (int);
+void freects_done (int) NORETURN;
 
 /*
  * static prototypes