--- old/exception.hpp 2011-06-04 02:50:48.000000000 +0200 +++ new/exception.hpp 2011-06-14 11:09:11.609375000 +0200 @@ -132,7 +132,17 @@ } }; +#if defined(__GNUC__) +# if (__GNUC__ == 4 && __GNUC_MINOR__ >= 1) || (__GNUC__ > 4) +# pragma GCC visibility push (default) +# endif +#endif class exception; +#if defined(__GNUC__) +# if (__GNUC__ == 4 && __GNUC_MINOR__ >= 1) || (__GNUC__ > 4) +# pragma GCC visibility pop +# endif +#endif template class shared_ptr;