From 73d7cfa75642672e4fe2ccd52eae872a16953dba Mon Sep 17 00:00:00 2001 From: Renato Filho Date: Fri, 21 May 2010 11:19:09 -0300 Subject: Avoid export unnecessary symbols to public api. Fixes bug #209. Reviewer: Luciano Wolf , Hugo Parente Lima --- symbols.filter | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 symbols.filter (limited to 'symbols.filter') diff --git a/symbols.filter b/symbols.filter new file mode 100644 index 000000000..af6c744dd --- /dev/null +++ b/symbols.filter @@ -0,0 +1,7 @@ +{ +local: +_ZSt*; +_ZNSt*; +_ZNSs*; +_ZNKSt*; +}; -- cgit v1.2.3