X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FRtsFlags.c;h=14f4fb0d83a38022caa5f03ac297dc9ef28c32df;hb=e6243a818496aad82b6f47511d3bd9bc800f747d;hp=cce2b28fed518e04185508f95a1cfec262ccba71;hpb=3ebcd3deb769a03f4ded0fca2cf38201048c0214;p=ghc-hetmet.git diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index cce2b28..14f4fb0 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -208,6 +208,7 @@ void initRtsFlagsDefaults(void) RtsFlags.ConcFlags.ctxtSwitchTime = 20; /* In milliseconds */ RtsFlags.MiscFlags.install_signal_handlers = rtsTrue; + RtsFlags.MiscFlags.machineReadable = rtsFalse; RtsFlags.MiscFlags.linkerMemBase = 0; #ifdef THREADED_RTS @@ -696,6 +697,10 @@ error = rtsTrue; &rts_argv[arg][2])) { RtsFlags.MiscFlags.install_signal_handlers = rtsFalse; } + else if (strequal("machine-readable", + &rts_argv[arg][2])) { + RtsFlags.MiscFlags.machineReadable = rtsTrue; + } else if (strequal("info", &rts_argv[arg][2])) { printRtsInfo();