diff options
| author | Jonathan Chambers <joncham@gmail.com> | 2016-10-07 20:54:00 +0300 |
|---|---|---|
| committer | Jonathan Chambers <joncham@gmail.com> | 2016-10-07 20:54:00 +0300 |
| commit | d602c64c2ce768d4c6f389e588f431cda4730146 (patch) | |
| tree | 75049f93dddb03b11173f5cf3ee46feff930af15 /man | |
| parent | 3f234cb6ad1ea4621e2c0b4e34c1e778e56cc4db (diff) | |
Document --gc-debug and --gc-params command line options
Diffstat (limited to 'man')
| -rw-r--r-- | man/mono.1 | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/man/mono.1 b/man/mono.1 index c4589ea70c7..08a93ac9182 100644 --- a/man/mono.1 +++ b/man/mono.1 @@ -332,6 +332,12 @@ Currently this merely ensures that you are running either the \fBMONO_ENV_OPTIONS\fR environment variable to force all of your child processes to use one particular kind of GC with the Mono runtime. .TP +\fB--gc-debug=[options]\fR +Command line equivalent of the \fBMONO_GC_DEBUG\fR environment variable. +.TP +\fB--gc-params=[options]\fR +Command line equivalent of the \fBMONO_GC_PARAMS\fR environment variable. +.TP \fB--arch=32\fR, \fB--arch=64\fR (Mac OS X only): Selects the bitness of the Mono binary used, if available. If the binary used is already for the selected bitness, nothing |