diff options
author | Ian Lynagh <igloo@earth.li> | 2008-11-23 15:21:27 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2008-11-23 15:21:27 +0000 |
commit | 6eee9f878a34f4b3ea4b3b3435a1f9b5beae6210 (patch) | |
tree | b45ef6ab1041fd271b06ff0f2215b6af47b1b1cf /rts/RtsFlags.c | |
parent | b65cb21351eebfa98f96860e704cac00a2f42048 (diff) | |
download | haskell-6eee9f878a34f4b3ea4b3b3435a1f9b5beae6210.tar.gz |
Add a --machine-readable RTS flag
Currently it only affects the -t flag output
Diffstat (limited to 'rts/RtsFlags.c')
-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 cce2b28fed..14f4fb0d83 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(); |