about summary refs log tree commit diff
path: root/src/rt/jemalloc/doc/jemalloc.xml.in
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2013-06-12 20:25:17 -0700
committerbors <bors@rust-lang.org>2013-06-12 20:25:17 -0700
commit996301331e2d8ac7611d15ca82cc3ebc1abb632d (patch)
tree032c91b56939850145b16ede2a5bfa35e4620f92 /src/rt/jemalloc/doc/jemalloc.xml.in
parent6c45160f19cff60e8956491eabe9e4704735c0eb (diff)
parent0685c657f0b29f6372bd4b031753ff92fc3b53ba (diff)
downloadrust-996301331e2d8ac7611d15ca82cc3ebc1abb632d.tar.gz
rust-996301331e2d8ac7611d15ca82cc3ebc1abb632d.zip
auto merge of #7079 : thestinger/rust/jemalloc, r=graydon
Minor release, the ChangeLog is included in the update.
Diffstat (limited to 'src/rt/jemalloc/doc/jemalloc.xml.in')
-rw-r--r--src/rt/jemalloc/doc/jemalloc.xml.in9
1 files changed, 8 insertions, 1 deletions
diff --git a/src/rt/jemalloc/doc/jemalloc.xml.in b/src/rt/jemalloc/doc/jemalloc.xml.in
index 09305801bab..abd5e6fcd0f 100644
--- a/src/rt/jemalloc/doc/jemalloc.xml.in
+++ b/src/rt/jemalloc/doc/jemalloc.xml.in
@@ -432,7 +432,14 @@ for (i = 0; i < nbins; i++) {
     referenced by the symbolic link named <filename
     class="symlink">/etc/malloc.conf</filename>, and the value of the
     environment variable <envar>MALLOC_CONF</envar>, will be interpreted, in
-    that order, from left to right as options.</para>
+    that order, from left to right as options.  Note that
+    <varname>malloc_conf</varname> may be read before
+    <function>main<parameter/></function> is entered, so the declaration of
+    <varname>malloc_conf</varname> should specify an initializer that contains
+    the final value to be read by jemalloc.  <varname>malloc_conf</varname> is
+    a compile-time setting, whereas <filename
+    class="symlink">/etc/malloc.conf</filename> and <envar>MALLOC_CONF</envar>
+    can be safely set any time prior to program invocation.</para>
 
     <para>An options string is a comma-separated list of option:value pairs.
     There is one key corresponding to each <link