Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexander Köplinger <alex.koeplinger@outlook.com>2017-04-18 20:41:13 +0300
committerGitHub <noreply@github.com>2017-04-18 20:41:13 +0300
commit856377a61d621ab459d076dc781360913492bd2e (patch)
tree241221c0c872e34cf1273f2bdb7edeef7f78dfdf /README.md
parent000e598f3143c4844bad18447cf5c59e30d1d145 (diff)
[configure] Fix docs for --with-libgc option (#4707)
It was renamed from --with-gc to --with-libgc in 66ca91f10b0fdd61824e318f659b807cbf45aef3, but a few places were missed.
Diffstat (limited to 'README.md')
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 87b01137506..0a627765797 100644
--- a/README.md
+++ b/README.md
@@ -196,7 +196,7 @@ collector.
both a `mono` binary and a `mono-sgen` binary. `mono` uses Boehm,
while `mono-sgen` uses the Simple Generational GC.
-* `--with-gc=[included, boehm, none]` - Selects the default Boehm
+* `--with-libgc=[included, boehm, none]` - Selects the default Boehm
garbage collector engine to use.
* *included*: (*slightly modified Boehm GC*) This is the default