If we're compiling with gcc, mark adios() as never returning (better code

[mmh] / sbr / done.c

diff --git a/sbr/done.c b/sbr/done.c
index cf2e3080ad668a39c81b1a546536fccad72e13b4..938fdb2d683d03db7d963aa5d3ffc1c67890d877 100644 (file)
--- a/sbr/done.c
+++ b/sbr/done.c
@@ -11,9 +11,4 @@
 
 #include <h/mh.h>
 
-int
-done (int status)
-{
-    exit (status);
-    return 1;  /* dead code to satisfy the compiler */
-}
+void (*done) (int) = exit;