summaryrefslogtreecommitdiff
path: root/manual
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2022-10-18 10:22:22 +0100
committerDavid Allsopp <david.allsopp@metastack.com>2022-12-06 14:48:18 +0000
commitc58a04f6e4317fdcca578cd6dc7124600bb7a4ac (patch)
tree6152a182ac9e33b3b12ad688d2384e832afcb81c /manual
parent583e44e7c25d7d4d219106a0ec356ca6d4a3798a (diff)
downloadocaml-c58a04f6e4317fdcca578cd6dc7124600bb7a4ac.tar.gz
Add GC log level 0x1000 for memory reservations
Diffstat (limited to 'manual')
-rw-r--r--manual/src/cmds/runtime.etex1
1 files changed, 1 insertions, 0 deletions
diff --git a/manual/src/cmds/runtime.etex b/manual/src/cmds/runtime.etex
index 0020a6413c..be325e3088 100644
--- a/manual/src/cmds/runtime.etex
+++ b/manual/src/cmds/runtime.etex
@@ -191,6 +191,7 @@ The following environment variables are also consulted:
\item[512 (= 0x200)] Computation of compaction-triggering condition.
\item[1024 (= 0x400)] Output GC statistics at program exit.
\item[2048 (= 0x800)] GC debugging messages.
+ \item[4096 (= 0x1000)] Address space reservation changes.
\end{options}
\item[V] ("verify_heap") runs an integrity check on the heap just after
the completion of a major GC cycle