diff options
Diffstat (limited to 'rts/ProfilerReport.h')
-rw-r--r-- | rts/ProfilerReport.h | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/rts/ProfilerReport.h b/rts/ProfilerReport.h new file mode 100644 index 0000000000..e2a1d539a4 --- /dev/null +++ b/rts/ProfilerReport.h @@ -0,0 +1,28 @@ +/* ----------------------------------------------------------------------------- + * + * (c) The GHC Team, 1998-2017 + * + * Generating cost-center profiler report + * + * ---------------------------------------------------------------------------*/ + +#ifndef PROFILER_REPORT_H +#define PROFILER_REPORT_H + +#include <stdio.h> + +#include "Rts.h" +#include "Profiling.h" + +#include "BeginPrivate.h" + +#ifdef PROFILING + +void writeCCSReport( FILE *prof_file, CostCentreStack const *ccs, + ProfilerTotals totals ); + +#endif + +#include "EndPrivate.h" + +#endif /* PROFILER_REPORT_H */ |