From 4dbe054c1bad98a333fcab2456ae0c8de6e82188 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 23 Mar 2004 10:48:41 +0000
Subject: [PATCH] [project @ 2004-03-23 10:48:41 by simonmar] Update docs for
 --enable-threaded-rts (now deprecated).

---
 configure.ac |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/configure.ac b/configure.ac
index 83a96e4..5e75b01 100644
--- a/configure.ac
+++ b/configure.ac
@@ -577,11 +577,11 @@ if test "$BootingFromHc" = "NO" -a "$WithGhc" = "" -a -d "$srcdir/ghc"; then
 AC_MSG_ERROR([GHC is required unless bootstrapping from .hc files.])
 fi;
 
-dnl ** Enable multi-thread friendly RTS?
+dnl ** --enable-threaded-rts (not used any more)
 dnl --------------------------------------------------------------
 AC_ARG_ENABLE(threaded-rts,
 [AC_HELP_STRING([--enable-threaded-rts],
-[Support better interop with OS threads. [default=no]])],
+[DEPRECATED (backwards compatibility only). [default=no]])],
 [ if test x"$enableval" = x"yes"; then
 	ThreadedRts=YES
   else
-- 
1.7.10.4