diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/symbols-check.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/symbols-check.py b/bin/symbols-check.py index 3b077371ad7..a33d0932ed9 100644 --- a/bin/symbols-check.py +++ b/bin/symbols-check.py @@ -88,6 +88,9 @@ def main(): parser.add_argument('--dumpbin', action='store', help='path to binary (or name in $PATH)') + parser.add_argument('--ignore-symbol', + action='append', + help='do not process this symbol') args = parser.parse_args() try: @@ -147,6 +150,8 @@ def main(): continue if symbol in optional_symbols: continue + if args.ignore_symbol and symbol in args.ignore_symbol: + continue if symbol[:2] == '_Z': # As ajax found out, the compiler intentionally exports symbols # that we explicitely asked it not to export, and we can't do |