From 59f8809f3c696fc60c4447341702ca8a7bf557a5 Mon Sep 17 00:00:00 2001 From: Eric Engestrom Date: Sat, 3 Aug 2019 18:21:26 +0100 Subject: [PATCH] symbols-check: discard platform symbols early (as the comment there already claimed) Signed-off-by: Eric Engestrom Tested-by: Vinson Lee --- bin/symbols-check.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/symbols-check.py b/bin/symbols-check.py index 7b1a086..39ad145 100644 --- a/bin/symbols-check.py +++ b/bin/symbols-check.py @@ -27,6 +27,8 @@ def get_symbols(nm, lib): stderr=open(os.devnull, 'w')).decode("ascii") for line in output.splitlines(): (_, _, symbol_name) = line.split() + if symbol_name in PLATFORM_SYMBOLS: + continue symbols.append(symbol_name) return symbols @@ -97,8 +99,6 @@ def main(): continue if symbol in optional_symbols: continue - if symbol in PLATFORM_SYMBOLS: - continue unknown_symbols.append(symbol) missing_symbols = [ -- 2.7.4