Formerly commands.c.~18~

diff --git a/commands.c b/commands.c
index 0772946570f84aca16f5436025c1acf96391160d..1cfe0cff4f8075b470b2545cf82326599b3592ee 100644 (file)
--- a/commands.c
+++ b/commands.c
@@ -318,12 +318,19 @@ execute_file_commands (file)
   new_job (file);
 }
 \f
+/* This is set while we are inside fatal_error_signal,
+   so things can avoid nonreentrant operations.  */
+
+int handling_fatal_signal = 0;
+
 /* Handle fatal signals.  */
 
 RETSIGTYPE
 fatal_error_signal (sig)
      int sig;
 {
+  handling_fatal_signal = 1;
+
   signal (sig, SIG_DFL);
 #ifdef POSIX
   {