From: Ian Lynagh Date: Fri, 11 Mar 2011 21:29:58 +0000 (+0000) Subject: Consistently use etc rather than
; fixes #5009 X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=d73c1bce81d47da67c20eef3fb22e68c14b380aa Consistently use etc rather than
; fixes #5009 It might be nicer to actually go the other way, and make everything use
instead, but this fixes the incorrect numbering for now, and we can look into whether
has any disadvantages later. --- diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml index 045ea07..be341b2 100644 --- a/docs/users_guide/runtime_control.xml +++ b/docs/users_guide/runtime_control.xml @@ -1,5 +1,5 @@ -
+ Running a compiled program runtime control of Haskell programs @@ -21,7 +21,7 @@ options themselves. -
+ Setting RTS options RTS options, setting @@ -53,7 +53,7 @@ -
+ Setting RTS options on the command line @@ -127,9 +127,9 @@ $ ./prog -f +RTS -H32m -S -RTS -h foo bar +RTS -M128m -RTS to the command line. -
+ -
+ Setting RTS options at compile time @@ -139,9 +139,9 @@ $ ./prog -f +RTS -H32m -S -RTS -h foo bar set -H128m -K64m, link with -with-rtsopts="-H128m -K64m". -
+ -
+ Setting RTS options with the <envar>GHCRTS</envar> environment variable @@ -178,9 +178,9 @@ $ ./prog -f +RTS -H32m -S -RTS -h foo bar a crawl until the OS decides to kill the process (and you hope it kills the right one). -
+ -
+ “Hooks” to change RTS behaviour hooksRTS @@ -259,11 +259,11 @@ char *ghc_rts_opts = "-H128m -K1m"; versions in the file ghc/compiler/parser/hschooks.c in a GHC source tree. -
+ -
+ -
+ Miscellaneous RTS options @@ -347,9 +347,9 @@ char *ghc_rts_opts = "-H128m -K1m"; -
+ -
+ RTS options to control the garbage collector garbage collectoroptions @@ -1032,17 +1032,17 @@ char *ghc_rts_opts = "-H128m -K1m"; -
+ -
+ RTS options for concurrency and parallelism The RTS options related to concurrency are described in , and those for parallelism in . -
+ -
+ RTS options for profiling Most profiling runtime options are only available when you @@ -1073,9 +1073,9 @@ char *ghc_rts_opts = "-H128m -K1m"; -
+ -
+ Tracing tracing @@ -1166,9 +1166,9 @@ char *ghc_rts_opts = "-H128m -K1m"; the binary eventlog file by using the option. -
+ -
+ RTS options for hackers, debuggers, and over-interested souls @@ -1301,9 +1301,9 @@ char *ghc_rts_opts = "-H128m -K1m"; -
+ -
+ Getting information about the RTS RTS @@ -1443,8 +1443,8 @@ $ ./a.out +RTS --info -
-
+ +