diff options
Diffstat (limited to 'rts/RtsFlags.c')
| -rw-r--r-- | rts/RtsFlags.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 778f49c13b..a775e2986a 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -166,7 +166,6 @@ void initRtsFlagsDefaults(void) RtsFlags.GcFlags.oldGenFactor = 2; RtsFlags.GcFlags.returnDecayFactor = 4; RtsFlags.GcFlags.useNonmoving = false; - RtsFlags.GcFlags.nonmovingSelectorOpt = false; RtsFlags.GcFlags.generations = 2; RtsFlags.GcFlags.squeezeUpdFrames = true; RtsFlags.GcFlags.compact = false; @@ -1711,10 +1710,6 @@ error = true; OPTION_SAFE; RtsFlags.GcFlags.useNonmoving = true; unchecked_arg_start++; - if (rts_argv[arg][3] == 's') { - RtsFlags.GcFlags.nonmovingSelectorOpt = true; - unchecked_arg_start++; - } break; case 'c': /* Debugging tool: show current cost centre on |