diff options
Diffstat (limited to 'rts')
| -rw-r--r-- | rts/RtsFlags.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 7949d401db..54680b4b7f 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -931,6 +931,11 @@ error = true; printRtsInfo(rtsConfig); stg_exit(0); } + else if (strequal("nonmoving-gc", + &rts_argv[arg][2])) { + OPTION_SAFE; + RtsFlags.GcFlags.useNonmoving = true; + } #if defined(THREADED_RTS) else if (!strncmp("numa", &rts_argv[arg][2], 4)) { if (!osBuiltWithNumaSupport()) { |