diff options
-rw-r--r-- | bin/symbols-check.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/symbols-check.py b/bin/symbols-check.py index 329ca5f46a0..47305919634 100644 --- a/bin/symbols-check.py +++ b/bin/symbols-check.py @@ -109,6 +109,10 @@ def main(): continue if symbol in optional_symbols: continue + if symbol[:2] == '_Z': + # Ignore random C++ symbols + #TODO: figure out if there's any way to avoid exporting them in the first place + continue unknown_symbols.append(symbol) missing_symbols = [ |