X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FProfiling.h;h=e27ad4c5edd9738c952aebf9c6f1bf6fb51d611c;hb=6cec61d14a324285dbb8ce73d4c7215f1f8d6766;hp=edfc1b2c5e9851dbdefbf76f59839670affd6798;hpb=ed12b7043fa98928f75c289a756fbcef546315f8;p=ghc-hetmet.git diff --git a/rts/Profiling.h b/rts/Profiling.h index edfc1b2..e27ad4c 100644 --- a/rts/Profiling.h +++ b/rts/Profiling.h @@ -11,30 +11,32 @@ #include -#if defined(PROFILING) || defined(DEBUG) -void initProfiling1 ( void ); -void freeProfiling1 ( void ); -void initProfiling2 ( void ); -void endProfiling ( void ); +#include "BeginPrivate.h" + +void initProfiling1 (void); +void initProfiling2 (void); +void endProfiling (void); +void freeProfiling (void); extern FILE *prof_file; extern FILE *hp_file; -#endif #ifdef PROFILING -void gen_XML_logfile ( void ); +void gen_XML_logfile ( void ); void reportCCSProfiling ( void ); void PrintNewStackDecls ( void ); -extern void fprintCCS( FILE *f, CostCentreStack *ccs ); -extern void fprintCCS_stderr( CostCentreStack *ccs ); +void fprintCCS( FILE *f, CostCentreStack *ccs ); +void fprintCCS_stderr( CostCentreStack *ccs ); #ifdef DEBUG -extern void debugCCS( CostCentreStack *ccs ); +void debugCCS( CostCentreStack *ccs ); #endif #endif +#include "EndPrivate.h" + #endif /* PROFILING_H */