Formerly make.h.~53~

diff --git a/make.h b/make.h
index 30ed55f10e9d7540e9ac59de03fefb01a3d26e17..49c25224ba2bccfb8053f39bea79c2528f637f8e 100644 (file)
--- a/make.h
+++ b/make.h
@@ -305,6 +305,3 @@ 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;