diff options
Diffstat (limited to 'rts/Profiling.h')
| -rw-r--r-- | rts/Profiling.h | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/rts/Profiling.h b/rts/Profiling.h index 8961da9b17..87d81e2f9b 100644 --- a/rts/Profiling.h +++ b/rts/Profiling.h @@ -11,6 +11,8 @@ #include <stdio.h> +#pragma GCC visibility push(hidden) + void initProfiling1 (void); void freeProfiling1 (void); void initProfiling2 (void); @@ -21,18 +23,20 @@ extern FILE *hp_file; #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 +#pragma GCC visibility pop + #endif /* PROFILING_H */ |