When building on gcc, use noreturn attribute on adios and the various done
[mmh] / sbr / done.c
index 938fdb2..65ec1cb 100644 (file)
@@ -11,4 +11,4 @@
 
 #include <h/mh.h>
 
 
 #include <h/mh.h>
 
-void (*done) (int) = exit;
+void (*done) (int) NORETURN = exit;