[project @ 2005-10-21 14:38:18 by simonmar]

[ghc-hetmet.git] / ghc / includes / RtsConfig.h

diff --git a/ghc/includes/RtsConfig.h b/ghc/includes/RtsConfig.h
index 8c24208..31cbf7c 100644 (file)
--- a/ghc/includes/RtsConfig.h
+++ b/ghc/includes/RtsConfig.h
@@ -38,12 +38,9 @@
 
 /* TICKY_TICKY needs EAGER_BLACKHOLING to verify no double-entries of
  * single-entry thunks.
- *
- * SMP needs EAGER_BLACKHOLING because it has to lock thunks
- * synchronously, in case another thread is trying to evaluate the
- * same thunk simultaneously.
  */
-#if defined(SMP) || defined(TICKY_TICKY)
+/* #if defined(TICKY_TICKY) || defined(SMP) */
+#if defined(TICKY_TICKY)
 #  define EAGER_BLACKHOLING
 #else
 #  define LAZY_BLACKHOLING