Silence expected and harmless errors

This commit is contained in:
Giovanni Mascellani 2020-11-03 14:07:22 +01:00 committed by Andrew Eikum
parent 16992af05c
commit e5c634ce0b

View File

@ -1237,6 +1237,8 @@ for sdkver in sdk_versions:
diagnostics = list(linux_build.diagnostics) diagnostics = list(linux_build.diagnostics)
if len(diagnostics) > 0: if len(diagnostics) > 0:
# Ignore known and harmless issues
if not(len(diagnostics) == 1 and "This file isn't used any more" in diagnostics[0].spelling):
print('There were parse errors') print('There were parse errors')
pprint.pprint(diagnostics) pprint.pprint(diagnostics)
else: else: