diff options
Diffstat (limited to 'includes')
| -rw-r--r-- | includes/RtsAPI.h | 5 | ||||
| -rw-r--r-- | includes/rts/EventLogWriter.h | 5 |
2 files changed, 8 insertions, 2 deletions
diff --git a/includes/RtsAPI.h b/includes/RtsAPI.h index 36ab4d4b04..f88cd0614c 100644 --- a/includes/RtsAPI.h +++ b/includes/RtsAPI.h @@ -18,8 +18,6 @@ extern "C" { #include "HsFFI.h" #include "rts/Time.h" #include "rts/Types.h" -#include "rts/EventLogWriter.h" - /* * Running the scheduler @@ -60,6 +58,9 @@ typedef struct CapabilityPublic_ { StgRegTable r; } CapabilityPublic; +/* N.B. this needs the Capability declaration above. */ +#include "rts/EventLogWriter.h" + /* ---------------------------------------------------------------------------- RTS configuration settings, for passing to hs_init_ghc() ------------------------------------------------------------------------- */ diff --git a/includes/rts/EventLogWriter.h b/includes/rts/EventLogWriter.h index 38a0c06086..73a2aec64c 100644 --- a/includes/rts/EventLogWriter.h +++ b/includes/rts/EventLogWriter.h @@ -68,3 +68,8 @@ bool startEventLogging(const EventLogWriter *writer); * Stop event logging and destroy the current EventLogWriter. */ void endEventLogging(void); + +/* + * Flush the eventlog. cap can be NULL if one is not held. + */ +void flushEventLog(Capability **cap); |