diff options
Diffstat (limited to 'rts/RtsFlags.c')
| -rw-r--r-- | rts/RtsFlags.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 999b727207..132d12753c 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -1906,6 +1906,7 @@ static bool read_heap_profiling_flag(const char *arg) case 'r': case 'B': case 'b': + case 'T': if (arg[2] != '\0' && arg[3] != '\0') { { const char *left = strchr(arg, '{'); |