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

[mmh] / h / prototypes.h

diff --git a/h/prototypes.h b/h/prototypes.h
index 52fab3aa7fe4e8dcf05fc2f2507bb78b88dc6cfc..d10346f3824d2a0e8b8665457c72a00aaaeaa3a4 100644 (file)
--- a/h/prototypes.h
+++ b/h/prototypes.h
@@ -25,7 +25,7 @@ char *etcpath(char *);
 /*
  * prototypes from the nmh subroutine library
  */
-void adios (char *, char *, ...);
+void adios (char *, char *, ...) NORETURN;
 void admonish (char *, char *, ...);
 void advertise (char *, char *, char *, va_list);
 void advise (char *, char *, ...);