1 files changed, 0 insertions, 37 deletions
diff --git a/gnu/lib/libf2c/libF77/sig_die.c b/gnu/lib/libf2c/libF77/sig_die.c
deleted file mode 100644
index 622462e248b..00000000000
--- a/gnu/lib/libf2c/libF77/sig_die.c
+++ /dev/null
@@ -1,37 +0,0 @@
-#include <stdio.h>
-#include <signal.h>
-
-#ifndef SIGIOT
-#ifdef SIGABRT
-#define SIGIOT SIGABRT
-#endif
-#endif
-
-#include <stdlib.h>
-extern void f_exit (void);
-
-void
-sig_die (register char *s, int kill)
-{
-  /* print error message, then clear buffers */
-  fprintf (stderr, "%s\n", s);
-
-  if (kill)
-    {
-      fflush (stderr);
-      f_exit ();
-      fflush (stderr);
-      /* now get a core */
-#ifdef SIGIOT
-      signal (SIGIOT, SIG_DFL);
-#endif
-      abort ();
-    }
-  else
-    {
-#ifdef NO_ONEXIT
-      f_exit ();
-#endif
-      exit (1);
-    }
-}