From b6043c7a01d19e4f8f2a502d4a146dff9344a3fc Mon Sep 17 00:00:00 2001
From: Richard Brooksby <rb@ravenbrook.com>
Date: Wed, 5 Sep 2012 23:04:12 +0100
Subject: [PATCH] Making hot the default variety, so that "cc -c mps.c" comes
 out hot.

Copied from Perforce
 Change: 179287
 ServerID: perforce.ravenbrook.com
---
 mps/code/config.h | 34 ++++++++++++++++++----------------
 1 file changed, 18 insertions(+), 16 deletions(-)

diff --git a/mps/code/config.h b/mps/code/config.h
index 060c40ad604..552ee2987fb 100644
--- a/mps/code/config.h
+++ b/mps/code/config.h
@@ -39,22 +39,6 @@
 /* no telemetry log events */
 
 
-/* CONFIG_VAR_HOT -- the hot variety
- *
- * This variety is the default variety for distribution in products that use
- * the MPS.  It has maximum performance while retaining a good level of
- * consistency checking and allowing some debugging and telemetry features.
- */
-
-#elif defined(CONFIG_VAR_HOT)
-#define CONFIG_ASSERT
-#ifndef CHECKLEVEL
-#define CHECKLEVEL      CheckLevelMINIMAL
-#endif
-/* no statistic meters */
-/* no telemetry log events */
-
-
 /* CONFIG_VAR_DIAG -- diagnostic variety
  *
  * Deprecated.  The diagnostic variety prints messages about the internals
@@ -111,6 +95,24 @@
 #define CONFIG_STATS
 #define CONFIG_LOG
 
+
+#else /* CONFIG_VAR_* */
+
+/* CONFIG_VAR_HOT -- the hot variety
+ *
+ * This variety is the default variety for distribution in products that use
+ * the MPS.  It has maximum performance while retaining a good level of
+ * consistency checking and allowing some debugging and telemetry features.
+ */
+
+/* #elif defined(CONFIG_VAR_HOT) */
+#define CONFIG_ASSERT
+#ifndef CHECKLEVEL
+#define CHECKLEVEL      CheckLevelMINIMAL
+#endif
+/* no statistic meters */
+/* no telemetry log events */
+
 #endif /* CONFIG_VAR_* */