[project @ 2004-03-23 10:48:41 by simonmar]
authorsimonmar <unknown>
Tue, 23 Mar 2004 10:48:41 +0000 (10:48 +0000)
committersimonmar <unknown>
Tue, 23 Mar 2004 10:48:41 +0000 (10:48 +0000)
Update docs for --enable-threaded-rts (now deprecated).

configure.ac

index 83a96e4..5e75b01 100644 (file)
@@ -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