diff options
Diffstat (limited to 'rts/GetTime.h')
| -rw-r--r-- | rts/GetTime.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rts/GetTime.h b/rts/GetTime.h index 5f02df0625..11da641164 100644 --- a/rts/GetTime.h +++ b/rts/GetTime.h @@ -9,6 +9,8 @@ #ifndef GETTIME_H #define GETTIME_H +#pragma GCC visibility push(hidden) + // We'll use a fixed resolution of usec for now. The machine // dependent implementation may have a different resolution, but we'll // normalise to this for the machine independent interface. @@ -23,4 +25,6 @@ void getProcessTimes (Ticks *user, Ticks *elapsed); // Not strictly timing, but related nat getPageFaults (void); +#pragma GCC visibility pop + #endif /* GETTIME_H */ |