Changeset 1915 for trunk/src/kmk/make.h

Timestamp:

Oct 22, 2008, 11:59:51 PM (17 years ago)

Author:

bird

Message:

kmk: CONFIG_WITH_MINIMAL_STATS vs. CONFIG_WITH_MAKE_STATS - require special builds for expensive statistics.

File:

• trunk/src/kmk/make.h (modified) (2 diffs)

trunk/src/kmk/make.h

@@ -660 +660 @@
 extern int pretty_command_printing;
 #endif
-#ifdef CONFIG_WITH_MAKE_STATS
+#if defined (CONFIG_WITH_MAKE_STATS) || defined (CONFIG_WITH_MINIMAL_STATS)
 extern int make_expensive_statistics;
 #endif
@@ -880 +880 @@
 # endif
 
+# define MAKE_STATS_3(expr) do { expr; } while (0)
+# define MAKE_STATS_2(expr) do { expr; } while (0)
+# define MAKE_STATS(expr)   do { expr; } while (0)
+#else
+# define MAKE_STATS_3(expr) do { } while (0)
+# define MAKE_STATS_2(expr) do { } while (0)
+# define MAKE_STATS(expr)   do { } while (0)
 #endif