diff --git a/make.h b/make.h
index 49c25224..30ed55f1 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;