RtsFlags.TraceFlags.timestamp = rtsFalse;
RtsFlags.TraceFlags.sched = rtsFalse;
+ RtsFlags.TraceFlags.gc = rtsFalse;
#ifdef USE_PAPI
/* By default no special measurements taken */
case 's':
RtsFlags.TraceFlags.sched = rtsTrue;
break;
+ case 'g':
+ RtsFlags.TraceFlags.gc = rtsTrue;
+ break;
default:
errorBelch("unknown RTS option: %s",rts_argv[arg]);
error = rtsTrue;
{
FILE *f = NULL;
- if (strequal(rts_argv[arg]+2, "stderr")) { /* use debugBelch */
+ if (strequal(rts_argv[arg]+2, "stderr") || strequal(rts_argv[arg]+2, "-")) {
f = NULL; /* NULL means use debugBelch */
} else {
if (rts_argv[arg][2] != '\0') { /* stats file specified */