RtsFlags.TraceFlags.timestamp = rtsFalse;
RtsFlags.TraceFlags.sched = rtsFalse;
+ RtsFlags.TraceFlags.gc = rtsFalse;
#ifdef USE_PAPI
/* By default no special measurements taken */
case 'H':
RtsFlags.GcFlags.heapSizeSuggestion =
decode(rts_argv[arg]+2) / BLOCK_SIZE;
-
- if (RtsFlags.GcFlags.heapSizeSuggestion <= 0) {
- bad_option(rts_argv[arg]);
- }
break;
#ifdef RTS_GTK_FRONTPANEL
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;