From 9ef343972e74911b82776b7fff3d9a1dde803661 Mon Sep 17 00:00:00 2001 From: Daniel Fischer Date: Mon, 30 May 2011 09:28:11 +0200 Subject: [PATCH] runtime_control.xml whitespace --- docs/users_guide/runtime_control.xml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml index be341b2..dbdebe8 100644 --- a/docs/users_guide/runtime_control.xml +++ b/docs/users_guide/runtime_control.xml @@ -329,7 +329,7 @@ char *ghc_rts_opts = "-H128m -K1m"; with a message like “failed to mmap() memory below 2Gb”. If you need to use this option to get GHCi working on your machine, please file a bug. - + On 64-bit machines, the RTS needs to allocate memory in the low 2Gb of the address space. Support for this across @@ -495,7 +495,7 @@ char *ghc_rts_opts = "-H128m -K1m"; generation gen and higher. Omitting gen turns off the parallel GC completely, reverting to sequential GC. - + The default parallel GC settings are usually suitable for parallel programs (i.e. those using par, Strategies, or with multiple @@ -509,7 +509,7 @@ char *ghc_rts_opts = "-H128m -K1m"; restrict parallel GC to the old generation with -qg1. - + @@ -524,7 +524,7 @@ char *ghc_rts_opts = "-H128m -K1m"; generation gen and higher. Omitting gen disables load-balancing entirely. - + Load-balancing shares out the work of GC between the available cores. This is a good idea when the heap is @@ -817,7 +817,7 @@ char *ghc_rts_opts = "-H128m -K1m"; - The peak memory the RTS has allocated from the OS. + The peak memory the RTS has allocated from the OS. -- 1.7.10.4