RtsFlags.ProfFlags.bioSelector = NULL;
#endif
- RtsFlags.MiscFlags.tickInterval = 50; /* In milliseconds */
- RtsFlags.ConcFlags.ctxtSwitchTime = 50; /* In milliseconds */
+ RtsFlags.MiscFlags.tickInterval = 20; /* In milliseconds */
+ RtsFlags.ConcFlags.ctxtSwitchTime = 20; /* In milliseconds */
RtsFlags.MiscFlags.install_signal_handlers = rtsTrue;
&rts_argv[arg][2])) {
RtsFlags.MiscFlags.install_signal_handlers = rtsFalse;
}
+ else if (strequal("info",
+ &rts_argv[arg][2])) {
+ printRtsInfo();
+ exit(0);
+ }
else {
errorBelch("unknown RTS option: %s",rts_argv[arg]);
error = rtsTrue;