diff options
Diffstat (limited to 'rts/Sparks.h')
| -rw-r--r-- | rts/Sparks.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rts/Sparks.h b/rts/Sparks.h index df037b5c4f..25affbbe55 100644 --- a/rts/Sparks.h +++ b/rts/Sparks.h @@ -11,6 +11,8 @@ #include "WSDeque.h" +#pragma GCC visibility push(hidden) + /* typedef for SparkPool in RtsTypes.h */ #if defined(THREADED_RTS) @@ -63,4 +65,6 @@ INLINE_HEADER void discardSparks (SparkPool *pool) #endif // THREADED_RTS +#pragma GCC visibility pop + #endif /* SPARKS_H */ |