Formerly make.h.~70~

1 files changed, 2 insertions, 0 deletions

diff --git a/make.h b/make.h
index d987e4e..7b9aa31 100644
--- a/make.h
+++ b/make.h
@@ -311,6 +311,8 @@ extern unsigned int makelevel;
 
 extern unsigned int commands_started;
 
+extern int handling_fatal_signal;
+
 
 #define DEBUGPR(msg) \
   do if (debug_flag) { print_spaces (depth); printf (msg, file->name); \