Formerly make.h.~70~

diff --git a/make.h b/make.h
index d987e4e..7b9aa31 100644 (file)
--- 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); \