diff options
Diffstat (limited to 'rts/Trace.c')
| -rw-r--r-- | rts/Trace.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/rts/Trace.c b/rts/Trace.c index 1671bfeb36..df5147ca05 100644 --- a/rts/Trace.c +++ b/rts/Trace.c @@ -143,6 +143,13 @@ void resetTracing (void) } } +void tracingAddCapapilities (nat from, nat to) +{ + if (eventlog_enabled) { + moreCapEventBufs(from,to); + } +} + /* --------------------------------------------------------------------------- Emitting trace messages/events --------------------------------------------------------------------------- */ |