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