Formerly make.h.~42~

diff --git a/make.h b/make.h
index 37c64c2aa928357a1c8b1e2fb839889d882ebd0f..5c91663def8001a51e82d0876e0acf835c7f0d9e 100644 (file)
--- a/make.h
+++ b/make.h
@@ -269,6 +269,6 @@ extern char *program;
 extern unsigned int makelevel;
 
 
-#define DEBUGPR(msg)                                                   \
-  if (debug_flag) { print_spaces (depth); printf (msg, file->name);    \
-                   fflush (stdout);  } else
+#define DEBUGPR(msg) \
+  do if (debug_flag) { print_spaces (depth); printf (msg, file->name); \
+                      fflush (stdout); } while (0)