diff options
Diffstat (limited to 'rts/Papi.h')
| -rw-r--r-- | rts/Papi.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rts/Papi.h b/rts/Papi.h index 8f58f6dfc9..8658d8ccac 100644 --- a/rts/Papi.h +++ b/rts/Papi.h @@ -8,6 +8,8 @@ #ifndef PAPI_H #define PAPI_H +#pragma GCC visibility push(hidden) + /* Check the error value of a PAPI call, reporting an error, if needed */ extern int papi_error; @@ -29,4 +31,6 @@ void papi_stop_gc1_count(void); void papi_thread_start_gc1_count(int event_set); void papi_thread_stop_gc1_count(int event_set); +#pragma GCC visibility pop + #endif /* PAPI_H */ |