diff options
Diffstat (limited to 'rts/Proftimer.h')
| -rw-r--r-- | rts/Proftimer.h | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/rts/Proftimer.h b/rts/Proftimer.h index 1379792d66..7d4295642d 100644 --- a/rts/Proftimer.h +++ b/rts/Proftimer.h @@ -9,17 +9,21 @@ #ifndef PROFTIMER_H #define PROFTIMER_H -extern void initProfTimer ( void ); -extern void handleProfTick ( void ); +#pragma GCC visibility push(hidden) + +void initProfTimer ( void ); +void handleProfTick ( void ); #ifdef PROFILING -extern void stopProfTimer ( void ); -extern void startProfTimer ( void ); +void stopProfTimer ( void ); +void startProfTimer ( void ); #endif -extern void stopHeapProfTimer ( void ); -extern void startHeapProfTimer ( void ); +void stopHeapProfTimer ( void ); +void startHeapProfTimer ( void ); extern rtsBool performHeapProfile; +#pragma GCC visibility pop + #endif /* PROFTIMER_H */ |