Formerly make.h.~52~

1 files changed, 3 insertions, 0 deletions

diff --git a/make.h b/make.h
index 49c2522..30ed55f 100644
--- a/make.h
+++ b/make.h
@@ -305,3 +305,6 @@ extern unsigned int makelevel;
 #define DEBUGPR(msg) \
   do if (debug_flag) { print_spaces (depth); printf (msg, file->name); \
 		       fflush (stdout); } while (0)
+
+/* !!! compile frob */
+ int compiling;