diff options
Diffstat (limited to 'rts/RtsFlags.c')
| -rw-r--r-- | rts/RtsFlags.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 6180f42e39..e1f64c58ab 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -292,6 +292,12 @@ usage_text[] = { " -? Prints this message and exits; the program is not executed", " --info Print information about the RTS used by this program", "", +" --nonmoving-gc", +" Selects the non-moving mark-and-sweep garbage collector to", +" manage the oldest generation.", +" --copying-gc", +" Selects the copying garbage collector to manage all generations.", +"", " -K<size> Sets the maximum stack size (default: 80% of the heap)", " Egs: -K32k -K512k -K8M", " -ki<size> Sets the initial thread stack size (default 1k) Egs: -ki4k -ki2m", @@ -939,6 +945,11 @@ error = true; printRtsInfo(rtsConfig); stg_exit(0); } + else if (strequal("copying-gc", + &rts_argv[arg][2])) { + OPTION_SAFE; + RtsFlags.GcFlags.useNonmoving = false; + } else if (strequal("nonmoving-gc", &rts_argv[arg][2])) { OPTION_SAFE; |