rename gc to mm (#19971)
This commit is contained in:
parent
d2d8f1342b
commit
7d0285853f
1 changed files with 1 additions and 1 deletions
|
|
@ -677,7 +677,7 @@ proc genSuccessX*(conf: ConfigRef) =
|
||||||
const debugModeHints = "none (DEBUG BUILD, `-d:release` generates faster code)"
|
const debugModeHints = "none (DEBUG BUILD, `-d:release` generates faster code)"
|
||||||
if conf.cmd in cmdBackends:
|
if conf.cmd in cmdBackends:
|
||||||
if conf.backend != backendJs:
|
if conf.backend != backendJs:
|
||||||
build.add "gc: $#; " % $conf.selectedGC
|
build.add "mm: $#; " % $conf.selectedGC
|
||||||
if optThreads in conf.globalOptions: build.add "threads: on; "
|
if optThreads in conf.globalOptions: build.add "threads: on; "
|
||||||
build.add "opt: "
|
build.add "opt: "
|
||||||
if optOptimizeSpeed in conf.options: build.add "speed"
|
if optOptimizeSpeed in conf.options: build.add "speed"
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue