diff options
Diffstat (limited to 'rts/Papi.h')
| -rw-r--r-- | rts/Papi.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rts/Papi.h b/rts/Papi.h index 8658d8ccac..f8acab7a4b 100644 --- a/rts/Papi.h +++ b/rts/Papi.h @@ -8,7 +8,7 @@ #ifndef PAPI_H #define PAPI_H -#pragma GCC visibility push(hidden) +BEGIN_RTS_PRIVATE /* Check the error value of a PAPI call, reporting an error, if needed */ extern int papi_error; @@ -31,6 +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 +END_RTS_PRIVATE #endif /* PAPI_H */ |