diff options
author | Alexander Köplinger <alex.koeplinger@outlook.com> | 2017-04-18 20:41:13 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-18 20:41:13 +0300 |
commit | 856377a61d621ab459d076dc781360913492bd2e (patch) | |
tree | 241221c0c872e34cf1273f2bdb7edeef7f78dfdf /README.md | |
parent | 000e598f3143c4844bad18447cf5c59e30d1d145 (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.md | 2 |
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 |