Formerly commands.c.~7~

diff --git a/commands.c b/commands.c
index 30b7cf05e752ff5f97361bd07957fda5f21f8b8a..75d450c50ed10a0639fbe7c6aa7279c256afc591 100644 (file)
--- a/commands.c
+++ b/commands.c
@@ -426,8 +426,6 @@ fatal_error_signal (sig)
   if (kill (getpid (), sig) < 0)
     /* It shouldn't return, but if it does, die anyway.  */
     pfatal_with_name ("kill");
-
-  return 0;
 }
 \f
 /* Delete all non-precious targets of CHILD unless they were already deleted.