Formerly make.h.~70~

2026-08-09 01:20:56 +00:00 · 1993-05-06 21:30:40 +00:00
parent 9596950898
commit ca5b7c487d
1 changed files with 2 additions and 0 deletions
--- 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); \